Labelled Tableaux for Non-normal Modal Logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

• Type: Conference
• Year: 1999
• Where: AIIA
• Authors: Guido Governatori, Alessandro Luppi
• Keywords: AIIA 1999, Artificial Intelligence, Modal Logics, Non-normal Modal Logics, Normal Modal Logic