论文信息 - Labelled Tableaux for Non-normal Modal Logics

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.

Guido Governatori | Alessandro Luppi | Guido Governatori | Alessandro Luppi

[1] Risto Hilpinen,et al. New Studies in Deontic Logic , 1981 .

[2] G. Boolos. The logic of provability , 1993 .

[3] Dov M. Gabbay,et al. Dealing with label dependent deontic modalities , 1998 .

[4] Guido Governatori,et al. Shakespearian Modal Logic: A Labelled Treatment of Modal Identity , 1996, Advances in Modal Logic.

[5] Marcello D'Agostino,et al. The Taming of the Cut. Classical Refutations with Analytic Cut , 1994, J. Log. Comput..

[6] Nicholas Rescher,et al. On alternatives in epistemic logic , 1973, Journal of Philosophical Logic.

[7] A. Herzig,et al. From Classical to Normal Modal Logics , 1996 .

[8] Philippe Mongin,et al. A Non-Minimal But Very Weak Axiomatization of Common Belief , 1994, Artif. Intell..

[9] Guido Governatori. Un Modello Formale Per Il Ragionamento Giuridico , 1997 .

[10] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .

[11] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.

[12] Robert C. Moore. Possible-World Semantics for Autoepistemic Logic , 1987, NMR.

[13] Fausto Giunchiglia,et al. The SAT-Based Approach for Classical Modal Logics , 1999, AI*IA.

[14] Liwu Li,et al. Possible World Semantics and Autoepistemic Reasoning , 1994, Artif. Intell..

[15] Heinrich Wansing,et al. Proof Theory of Modal Logic , 1996 .

[16] Max J. Cresswell. The interpretation of some Lewis systems of modal logic , 1967 .