This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
A. Artosi, P. Cattabriga and G. Governatori. An Automated Modal Framework for Nonmonotonic Reasoning. CIRFID Technical Report October 94.
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.
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.
A. Artosi and G. Governatori. Labelled Model Modal Logic. In Proceedings of the CADE-12 Workshop on Automated Model Building, 1994: 11–17.
Y. Auffray and P. Enjalbert. Modal Theorem Proving: An Equational Viewpoint. Journal of Logic and Computation, 2, 1992: 247–259
G. Boolos. Don't Eliminate Cut. Journal of Philosophical Logic, 13, 1984: 373–378.
L. Catach. Tableaux: A General Theorem Prover for Modal Logics. Journal of Automated Reasoning, 7, 1991: 489–510.
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.
M. D'Agostino and M. Mondadori. The Taming of the Cut. Journal of Logic and Computation, 4, 1994: 285–319.
F.B. Fitch. Tree Proofs in Modal Logic (abstract). Journal of Symbolic Logic, 31, 1966: 152.
M. Fitting. Tableau Methods of Proof for Modal Logic. Notre Dame Journal of Formal Logic, 13, 1972: 237–247.
M. Fitting. Proof Methods for Modal and Intuitionistic Logic, D. Reidel Publishing Company, Dordrecht, 1983.
M. Fitting. First-Order Logic and Automathed Theorem Prover. Springer-Verlag, Berlin, 1990.
D.M. Gabbay. Labelled Deductive System, Part I. Technical Report CIS-Bericht-90-22, CIS-Universitaät München, February 1991.
W. van der Hoek. Systems for Knowledge and Belief. Journal of Logic and Computation, 3, 1993: 173–196.
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.
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.
H.J. Ohlbach. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation, 1, 1991: 691–746.
R. Smullyan. Analityc Cut. Journal of Symbolic Logic, 33, 1968: 560–564.
R. Smullyan. First-Order Logic, Springer-Verlag: Berlin, 1968.
B.L. Tapscott. A Simplified Natural Deduction Approach to Certain Modal Systems. Notre Dame Journal of Formal Logic, 28, 1987: 371–383.
L.A. Wallen. Automated Deduction in Non-Classical Logics, The MIT Press, Cambridge, Mass., 1990.
H. Wansing. A General Possible Words Framework for Reasoning about Knowledge and Belief. Studia Logica, 49, 1990: 523–539.
G. Wrightson. Non-classical Logic Theorem Proving, Journal of Automated Reasoning, 1, 1985: 35–37.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Governatori, G. (1995). Labelled tableaux for multi-modal logics. In: Baumgartner, P., Hähnle, R., Possega, J. (eds) Theorem Proving with Analytic Tableaux and Related Methods. TABLEAUX 1995. Lecture Notes in Computer Science, vol 918. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59338-1_29
Download citation
DOI: https://doi.org/10.1007/3-540-59338-1_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59338-6
Online ISBN: 978-3-540-49235-1
eBook Packages: Springer Book Archive