Labelled Tableaux For Non-Normal Modal Logics

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

Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases

International audienc