Sciweavers

AIIA
1999
Springer
13 years 9 months ago
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...
Guido Governatori, Alessandro Luppi