Skip to main content
SpringerLink
Log in

Labelled Tableaux for Non-Normal Modal Logics

  • Conference paper
  • First Online:
AI*IA 99: Advances in Artificial Intelligence (AI*IA 1999)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1792))

Included in the following conference series:

Abstract

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo. Shakespearian modal logic. In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic, pages 1–21. CSLI Publications, Stanford, 1998.

    Google Scholar 

  2. George Boolos. The Logic of Provability. Cambridge University Press, Cambridge, 1993.

    MATH  Google Scholar 

  3. Brian Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.

    MATH  Google Scholar 

  4. Max J. Cresswell. The interpretation of some Lewis systems of modal logic. Australasian Journal of Philosophy, 45:198–206, 1967.

    Article  Google Scholar 

  5. Marcello D’Agostino and Marco Mondadori. The taming of the cut. Journal of Logic and Computation, 4:285–319, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  6. Melvin Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983.

    MATH  Google Scholar 

  7. Dov M. Gabbay and Guido Governatori. Dealing with label dependent deontic modalities. In Paul McNamara and Henry Prakken, editors, Norms, Logics and Information Systems. New Studies in Deontic Logic, pages 311–330. IOS Press, Amsterdam, 1998.

    Google Scholar 

  8. Olivier Gasquet and Andreas Herzig. From classical to normal modal logic. In H. Wansing, editor, Proof Theory of Modal Logic, pages 293–311. Kluwer, Dordrecht, 1996.

    Google Scholar 

  9. Enrico Giunchiglia, Fausto Giunchiglia, and Armando Tacchella. SAT-based decision procedures for classical modal logics. Journal of Automated Reasoning, forthcoming.

    Google Scholar 

  10. Guido Governatori. Un modello formale per il ragionamento giuridico. PhD thesis, CIRFID, University of Bologna, Bologna, 1997. http://www.cit.gu.edu.au/~guido/papers/PhD.pdf

    Google Scholar 

  11. Liwu Li. Possible world semantics and autoepistemic logic. Artificial Intelligence, 71:281–320, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  12. Luc Lismont and Philip Mongin. A non-minimal but very weak aximotization of common belief. Artificial Intelligence, 70:363–374, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  13. Nicholas Resher and Arnold Vander Nat. On alternatives in epistemic logic. Journal of Philosophical Logic, 2:119–135, 1973.

    Article  MathSciNet  Google Scholar 

  14. Moshe Vardi. On epistemic logic and logical omniscience. In J.Y. Halpern, editor, Theoretical Aspects of Reasoning About Knowledge, pages 293–305, San Matteo, CA, 1986. Morgan & Kaufmann.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of CIT, Griffith University, Nathan, QLD, 4111, Australia

    Guido Governatori

  2. Department of Philosophy, University of Bologna, Via Zamboni 38, 40122, Italy

    Alessandro Luppi

Authors
  1. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandro Luppi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS, University of Bologna, Viale Risorgimento, 2, 40136, Bologna, Italy

    Evelina Lamma  & Paola Mello  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Luppi, A. (2000). Labelled Tableaux for Non-Normal Modal Logics. In: Lamma, E., Mello, P. (eds) AI*IA 99: Advances in Artificial Intelligence. AI*IA 1999. Lecture Notes in Computer Science(), vol 1792. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46238-4_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-46238-4_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67350-7

  • Online ISBN: 978-3-540-46238-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation