Advertisement

Labelled tableaux for multi-modal logics

  • Guido Governatori
Modal Logic
Part of the Lecture Notes in Computer Science book series (LNCS, volume 918)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ACG94a]
    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. [ACG94b]
    A. Artosi, P. Cattabriga and G. Governatori. An Automated Modal Framework for Nonmonotonic Reasoning. CIRFID Technical Report October 94.Google Scholar
  3. [ACG95]
    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. [AG93]
    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. [AG94]
    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. [AE92]
    Y. Auffray and P. Enjalbert. Modal Theorem Proving: An Equational Viewpoint. Journal of Logic and Computation, 2, 1992: 247–259Google Scholar
  7. [Boo84]
    G. Boolos. Don't Eliminate Cut. Journal of Philosophical Logic, 13, 1984: 373–378.CrossRefGoogle Scholar
  8. [Cat91]
    L. Catach. Tableaux: A General Theorem Prover for Modal Logics. Journal of Automated Reasoning, 7, 1991: 489–510.CrossRefGoogle Scholar
  9. [DG94]
    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. [DM94]
    M. D'Agostino and M. Mondadori. The Taming of the Cut. Journal of Logic and Computation, 4, 1994: 285–319.Google Scholar
  11. [Fi66]
    F.B. Fitch. Tree Proofs in Modal Logic (abstract). Journal of Symbolic Logic, 31, 1966: 152.Google Scholar
  12. [Fit72]
    M. Fitting. Tableau Methods of Proof for Modal Logic. Notre Dame Journal of Formal Logic, 13, 1972: 237–247.Google Scholar
  13. [Fit83]
    M. Fitting. Proof Methods for Modal and Intuitionistic Logic, D. Reidel Publishing Company, Dordrecht, 1983.Google Scholar
  14. [Fit90]
    M. Fitting. First-Order Logic and Automathed Theorem Prover. Springer-Verlag, Berlin, 1990.Google Scholar
  15. [Gab91]
    D.M. Gabbay. Labelled Deductive System, Part I. Technical Report CIS-Bericht-90-22, CIS-Universitaät München, February 1991.Google Scholar
  16. [Hoe93]
    W. van der Hoek. Systems for Knowledge and Belief. Journal of Logic and Computation, 3, 1993: 173–196.Google Scholar
  17. [JR89]
    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. [MvH92]
    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. [Ohl91]
    H.J. Ohlbach. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation, 1, 1991: 691–746.Google Scholar
  20. [Smu68a]
    R. Smullyan. Analityc Cut. Journal of Symbolic Logic, 33, 1968: 560–564.Google Scholar
  21. [Smu68b]
    R. Smullyan. First-Order Logic, Springer-Verlag: Berlin, 1968.Google Scholar
  22. [Tap87]
    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. [Wal90]
    L.A. Wallen. Automated Deduction in Non-Classical Logics, The MIT Press, Cambridge, Mass., 1990.Google Scholar
  24. [Wan90]
    H. Wansing. A General Possible Words Framework for Reasoning about Knowledge and Belief. Studia Logica, 49, 1990: 523–539.CrossRefGoogle Scholar
  25. [Wri85]
    G. Wrightson. Non-classical Logic Theorem Proving, Journal of Automated Reasoning, 1, 1985: 35–37.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Guido Governatori
    • 1
  1. 1.CIRFID, Università di BolognaBolognaItaly

Personalised recommendations