Abstract
We describe a general and uniform tableau methodology for multi-modal logics arising from Gabbay’s methodology of fibring and Governatori’s labelled tableau system KEM.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo. Shakespearian modal logic: a labelled treatment of modal identity. In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev (eds)Advances in Modal Logic, CSLI Publications, Stanford, 1998, 1–20.
Alberto Artosi and Guido Governatori.A tableaux methodology for deontic conditional logic. In DEON’98, 4th International Workshop on Deontic Logic in Computer Science, CIRFID, Bologna, 1998: 65–84.
Alberto Artosi, Guido Governatori, and Giovanni Sartor. Towards a computational treatment of deontic defeasibility. In Mark Brown and José Carmo (eds.)Deontic Logic Agency and Normative Systems, Springer-Verlag, Berlin, 1996: 27–46.
Matteo Baldoni, Laura Giordano and Alberto Martelli. A tableau calculus for multimodal logics andl some (un)decidability results. In H. de Swart (ed.)International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Springer-Verlag, Berlin, 1998: 44–59.
Bernhard Beckert and D. M. Gabbay. Fibring semantic tableaux. In H. de Swart (ed.)International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Springer-Verlag, Berlin, 1998: 77–92.
Laurent Catach. Normal multimodal logics.In Proc. Nat. Conf on AI (AAAI’88), 491–495, 1988.
Marcello D’Agostino and Dov M. Gabbay. Fibred tableaux for multi-implication logics. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, (eds.)Theorem Proving with Analytic Tableaux and Related Methods, Springer-Verlag, Berlin, 1996: 16–35.
Marcello D’Agostino, Dov M. Gabbay, and Alessandra Russo. Grafting modalities onto substructural implication systems.Studia Logica59: 65–102, 1997.
Marcello D’Agostino and Marco Mondadori. The taming of the cut.Journal of Logic and Computation, 4: 285–319, 1994.
Melvin Fitting.Proof Methods for Modal and Intuitionistic Logics.Reidel, Dordrecht, 1983.
D.M. Gabbay. Fibred semantics and the weaving of logic I: Modal and intuitionistic logics.Journal of Symbolic Logic,61: 1057–1120, 1996.
Dov M. Gabbay. Labelled Deductive System. Oxford University Press, 1996.
Dov M. Gabbay. An overview of fibred semantics and the combination of logic. In R Baader and K. Schulz, (eds.)Frontiers of Combining Systems, Kluwer, Dordrecht, 1996: 1–55.
Dov M. Gabbay.Fibring Logic.Oxford University Press, 1998.
Olivier Gasquet. Optimization of deduction for multimodal logics. In Masuch, Marx and Plós (eds.)Applied Logic: What How and Why?.Kluwer, Dordrecht, 1993.
Guido Governatori. Labelled tableaux for multi-modal logics. In P. Baumgartner, R. Hähnle and J. Posegga (eds.)Theorem Proving with Analytic Tableaux and Related Methods, Springer-Verlag, Berlin, 1995: 79–94.
Guido Governatori. Labelling ideality and subideality. In D. Gabbay, H. J. Ohlbach (eds.)Practical Reasoning, Springer-Verlag, Berlin, 1996: 291–304.
Guido Governatori. Un modello formale per it ragionamento giuridico. PhD. Thesis, University of Bologna, 1997.
Marcus Kracht and Frank Wolter. Properties of independently axiomatizable bimodal logics.Journal of Symbolic Logic, 56:1485–1991, 1991.
Hans Jürgen Ohlbach. Semantics-based translation methods for modal logics.Journal of Logic and Computation, 1:691–746, 1990.
Hans Jürgen Ohlbach. Optimized translation of multi modal logic into predicate Logic. A. Voronkov (ed.) Proc. of Logic Programming and Automated Reasoning (LPAR), Springer-Verlag, Berlin, 253–264, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Gabbay, D.M., Governatori, G. (2000). Fibred Modal Tableaux. In: Basin, D., D’Agostino, M., Gabbay, D.M., Matthews, S., Viganò, L. (eds) Labelled Deduction. Applied Logic Series, vol 17. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4040-9_7
Download citation
DOI: https://doi.org/10.1007/978-94-011-4040-9_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5781-3
Online ISBN: 978-94-011-4040-9
eBook Packages: Springer Book Archive