Labelled tableaux for multi-modal logics

1. A. Artosi, P. Cattabriga and G. Governatori. An Automated Approach to Deontic Reasoning. In J. Breuker (ed.), Artificial Normative Reasoning, Workshop ECAI 1994: 132–145.

   Google Scholar 

2. A. Artosi, P. Cattabriga and G. Governatori. An Automated Modal Framework for Nonmonotonic Reasoning. CIRFID Technical Report October 94.

   Google Scholar 

3. A. Artosi, P. Cattabriga and G. Governatori. KEM: A Modal Theorem Prover. Forthcoming in Annali dell'Università di Ferrara, Sez. III, Fil., Discussion paper series.

   Google Scholar 

4. A. Artosi and G. Governatori. Labelled Modal Proofs. In A. Artosi (ed.), Two Papers in Proofs Theory. In Annali dell'Università di Ferrara, Sez. III,Filosofia, Discussion papers 33, 1–16. Ferrara.

   Google Scholar 

5. A. Artosi and G. Governatori. Labelled Model Modal Logic. In Proceedings of the CADE-12 Workshop on Automated Model Building, 1994: 11–17.

   Google Scholar 

6. Y. Auffray and P. Enjalbert. Modal Theorem Proving: An Equational Viewpoint. Journal of Logic and Computation, 2, 1992: 247–259

   Google Scholar 

7. G. Boolos. Don't Eliminate Cut. Journal of Philosophical Logic, 13, 1984: 373–378.

   Article  Google Scholar 

8. L. Catach. Tableaux: A General Theorem Prover for Modal Logics. Journal of Automated Reasoning, 7, 1991: 489–510.

   Article  Google Scholar 

9. M. D'Agostino and D.M. Gabbay. A Generalization of Analytic Deduction via Labelled Deductive Systems I: Basic Substructural Logics. Journal of Automated Reasoning, 13: 243–281.

   Google Scholar 

10. M. D'Agostino and M. Mondadori. The Taming of the Cut. Journal of Logic and Computation, 4, 1994: 285–319.

    Google Scholar 

11. F.B. Fitch. Tree Proofs in Modal Logic (abstract). Journal of Symbolic Logic, 31, 1966: 152.

    Google Scholar 

12. M. Fitting. Tableau Methods of Proof for Modal Logic. Notre Dame Journal of Formal Logic, 13, 1972: 237–247.

    Google Scholar 

13. M. Fitting. Proof Methods for Modal and Intuitionistic Logic, D. Reidel Publishing Company, Dordrecht, 1983.

    Google Scholar 

14. M. Fitting. First-Order Logic and Automathed Theorem Prover. Springer-Verlag, Berlin, 1990.

    Google Scholar 

15. D.M. Gabbay. Labelled Deductive System, Part I. Technical Report CIS-Bericht-90-22, CIS-Universitaät München, February 1991.

    Google Scholar 

16. W. van der Hoek. Systems for Knowledge and Belief. Journal of Logic and Computation, 3, 1993: 173–196.

    Google Scholar 

17. P. Jackson and H. Reichgelt. A General Proof Method for Modal Predicate Logic. In P. Jackson, H. Reichgelt, and F. van Harmelen, Logic-Based Knowledge Representation. The MIT Press, Cambridge, Mass., 1989.

    Google Scholar 

18. J.J.Ch. Mayer and W. van der Hoeck. A Modal Logic for Nonmonotonic Reasoning. In W. van der Hoeck, J.J.Ch. Mayer, Y. H. Tan and C. Witteveen (eds.), Non-Monotonie Reasoning and Partial Semantics. Ellis Horwood: N. Y., 1992: 37–77.

    Google Scholar 

19. H.J. Ohlbach. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation, 1, 1991: 691–746.

    Google Scholar 

20. R. Smullyan. Analityc Cut. Journal of Symbolic Logic, 33, 1968: 560–564.

    Google Scholar 

21. R. Smullyan. First-Order Logic, Springer-Verlag: Berlin, 1968.

    Google Scholar 

22. B.L. Tapscott. A Simplified Natural Deduction Approach to Certain Modal Systems. Notre Dame Journal of Formal Logic, 28, 1987: 371–383.

    Google Scholar 

23. L.A. Wallen. Automated Deduction in Non-Classical Logics, The MIT Press, Cambridge, Mass., 1990.

    Google Scholar 

24. H. Wansing. A General Possible Words Framework for Reasoning about Knowledge and Belief. Studia Logica, 49, 1990: 523–539.

    Article  Google Scholar 

25. G. Wrightson. Non-classical Logic Theorem Proving, Journal of Automated Reasoning, 1, 1985: 35–37.

    Google Scholar 

Download references