Labelled tableaux for non-normal modal logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1792, Issue , 2000, Pages 119-130

  Governatori, Guido ^a   Luppi, Alessandro ^b  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

LABELLED TABLEAUX; MODAL LOGIC; PROOF SYSTEM;

FORMAL LOGIC;

EID: 23044517629     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo. Shakespearian modal logic. In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic, pages 1–21. CSLI Publications, Stanford, 1998.
2. George Boolos. The Logic of Provability. Cambridge University Press, Cambridge, 1993.
3. Brian Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
4. Max J. Cresswell. The interpretation of some Lewis systems of modal logic. Australasian Journal of Philosophy, 45:198–206, 1967.
5. Marcello D’Agostino and Marco Mondadori. The taming of the cut. Journal of Logic and Computation, 4:285–319, 1994.
6. Melvin Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983.
7. Dov M. Gabbay and Guido Governatori. Dealing with label dependent deontic modalities. In Paul McNamara and Henry Prakken, editors, Norms, L ogics and Information Systems. New Studies in Deontic Logic, pages 311–330. IOS Press, Amsterdam, 1998.
8. Olivier Gasquet and Andreas Herzig. From classical to normal modal logic. In H. Wansing, editor, Proof Theory of Modal Logic, pages 293–311. Kluwer, Dordrecht, 1996.
9. Enrico Giunchiglia, Fausto Giunchiglia, and Armando Tacchella. SAT-based decision procedures for classical modal logics. Journal of Automated Reasoning, forthcoming.
10. Guido Governatori. Un modello formale per il ragionamento giuridico. PhD thesis, CIRFID, University of Bologna, Bologna, 1997. http://www.cit.gu.edu.au/~guido/papers/PhD.pdf
11. Liwu Li. Possible world semantics and autoepistemic logic. Artificial Intelligence, 71:281–320, 1994.
12. Luc Lismont and Philip Mongin. A non-minimal but very weak aximotization of common belief. Artificial Intelligence, 70:363–374, 1994.
13. Nicholas Resher and Arnold Vander Nat. On alternatives in epistemic logic. Journal of Philosophical Logic, 2:119–135, 1973.
14. Moshe Vardi. On epistemic logic and logical omniscience. In J.Y. Halpern, editor, Theoretical Aspects of Reasoning About Knowledge,, pages 293–305, San Matteo, CA, 1986. Morgan & Kaufmann.