Labelled modal tableaux

Advances in Modal Logic 2006

Volumn 7, Issue , 2008, Pages 87-110

  Governatori, Guido ^a  

^a CSIRO   (Australia)

Author keywords

Conditional logic; Labelled tableaux; Non normal modal logic; Relative complexity

Indexed keywords

CONDITIONAL LOGIC; FREE VARIABLE; INFERENCE RULES; LABELLED TABLEAUX; MODAL LOGIC; RELATIVE COMPLEXITY; SEMANTIC ELEMENT; SEMANTIC TABLEAU; TABLEAUX SYSTEMS;

ALGEBRA; SEMANTICS;

FORMAL LOGIC;

EID: 84858649623     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. A. Artosi, P. Benassi, G. Governatori, and A. Rotolo. Shakespearian modal logic: A labelled treatment of modal identity. In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic. Volume 1, pages 1-21. CSLI Publications, 1998.
2. A. Artosi and G. Governatori. A tableaux methodology for deontic conditional logics. In ΔEON'98, pages 65-81, Bologna, 1998.
3. A. Artosi, G. Governatori, and A. Rotolo. Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation, 12(6):1027-1060, 2002.
4. A. Artosi, G. Governatori, and G. Sartor. Towards a computational treatment of deontic defeasibility. In M. Brown and J. Carmo, editors, Deontic Logic Agency and Normative Systems, pages 27-46. Springer-Verlag, 1996.
5. M. Baldoni, L. Giordano, and A. Martelli. A tableau for multimodal logics and some (un)decidability results. In Harrie C. M. de Swart, editor, TABLEAUX'98, LNCS 1397, pages 44-59. Springer, 1998.
6. P. Balsiger and A. Heuerding, Comparison of theorem provers for modal logics - introduction and summary. In H. C. M. de Swart, editor, TABLEAUX '98, LNCS 1397, pages 25-26, Springer-Verlag, 1998.
7. B. Beckert and R. Goré. Free variable tableaux for propositional modal logics. Studia Logica, 69(1):59-96, 2001.
8. B.F. Chellas. Basic conditional logic. Journal of Philosophical Logic, 4:133-153, 1975.
9. B.F. Chellas. Modal Logic, An Introduction. Cambridge University Press, 1980.
10. S.A. Cook and R.A. Reckhow. The relative efficiency of propositional proof systems. Journal of Symbolic Logic, 44:36-50, 1979.
11. H. de Nivelle, R. Schmidt, and U. Hustadt. Resolution-based methods for modal logics. Logic Journal of IGPL, 8:265-292, 2000.
12. F.B. Fitch. Tree proofs in modal logic. Journal of Symbolic Logic, 31:152, 1966.
13. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, 1983.
14. D.M. Gabbay. Labelled Deductive System. Oxford University Press, 1996.
15. D.M. Gabbay and G. Governatori. Fibred modal tableaux. In D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, and L. Viganó, editors, Labelled Deduction, pages 163-194. Kluwer, 2000.
16. R. Girle. Modal Logic and Philosophy. Acumen, 2000.
17. R. Goré. Tableau methods for modal and temporal logics. In M. D'Agostino, D.M¿ Gabbay, R. Heinle, and J. Posegga, editors, Handbook of Tableaux Methods, pages 297-396. Kluwer, 1999.
18. G. Governatori. Labelled tableaux for multi-modal logics. In P. Baumgartner, R. Hähnle, and J. Posegga, editors, TABLEAUX'95, LNAI 918, pages 79-94, Springer-Verlag, 1995.
19. G. Governatori. Labelling ideality and subideality. In D.M. Gabbay and H.J. Ohlbach, editors, Practical Reasoning, LNAI 1085, pages 291-304, Springer-Verlag, 1996.
20. G. Governatori. Un modello formale per il ragionamento giuridico. PhD thesis, CIRFID, University of Bologna, Bologna, 1997.
21. G. Governatori and A. Luppi. Labelled tableaux for non-normal modal logics. In E. Lamma and P. Mello, editors, AI*IA 99, LNAI 1792, pages 119-130, Springer-Verlag, 2000.
22. I. Horrocks, P.F. Patel-Schneider, and R. Sebastiani. An analysis of empirical testing for modal decision procedures. Logic Journal of IGPL, 8:293-323, 2000.
23. U. Hustadt and R. Schmidt. On evaluating decision procedures for modal logic. In IJCAI'97, pages 202-207, 1997.
24. A.J.I. Jones and I. Pörn. Ideality, sub-ideality and deontic logic. Synthese, 65:275-290, 1985.
25. A.J.I. Jones and I. Pörn. "Ought" and "Must". Synthese, 66:89-93, 1986.
26. D. Lewis. Counterfactuals. Basil Blackwell, 1986.
27. F. Massacci. Strongly analytic tableaux for normal modal logic. In A. Bundy, editor, CADE-12, LNAI 814, pages 723-737, Springer-Verlag, 1994.
28. F. Massacci. Design and results of the Tableaux-99 non-classical (modal) systems comparison. In N.V. Murray, editor, TABLEAUX '99, LNCS 1617, pages 14-18, Springer-Verlag, 1999.
29. F. Massacci. Single step tableaux for modal logic. Journal of Automated Reasoning, 24(3):319-364, 2000.
30. F. Massacci and F.M. Donini. Design and results of tancs-2000 non-classical (modal) systems comparison. In R. Dyckhoff, editor, TABLEAUX 2000, LNCS 1847 pages 52-56, Springer-Verlag, 2000.
31. Donald Nute. Topics in Conditional Logic. Reidel, Dordrecht, 1980.
32. H.J. Ohlbach. Semantic based translation methods for modal logics. Journal of Logic and Computation, 1:691-746, 1991.
33. G.L. Pozzato. Proof Methods for Conditional and Preferential Logics. PhD thesis, Università degli Studi di Torino, 2007.
34. G. Priest. An Introduction to Non-Classical Logic. Cambridge University Press, 2001.
35. R.M. Smullyan. First-Order Logic. Springer-Verlag, Berlin, 1968