Skip to main content
SpringerLink
Log in

Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5

  • Conference paper
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000)

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

  • 959 Accesses

Abstract

We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. The systems have the analytic superformula property and can thus give a decision procedure.

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. Chellas, B.F.: Modal Logic: An Introduction. Cambridge Univ. Press, Cambridge (1980)

    MATH  Google Scholar 

  2. Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Synthese Library, vol. 169. D. Reidel, Dordrecht (1983)

    MATH  Google Scholar 

  3. Goré, R.: Tableau methods for modal and temporal logics. In: D’Agostino, Gabbay, Hähnle, Posegga (eds.) Handbook of Tableau Methods, pp. 297–396. Kluwer Academic Publishers, Dordrecht (1999)

    Google Scholar 

  4. Hintikka, K.J.J.: Form and content in quantification theory. Acta Philosophica Fennica 8, 3–55 (1955)

    Google Scholar 

  5. Hudelmaier, J.: Improved decision procedures for the modal logics K, T, S4. In: Kleine Büning, H. (ed.) CSL 1995. LNCS, vol. 1092, pp. 320–334. Springer, Heidelberg (1996)

    Google Scholar 

  6. Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen, London (1968)

    MATH  Google Scholar 

  7. Kripke, S.A.: Semantical analysis of modal logic, i. normal modal propositional calculus. Z. Math. Logic Grundlag 9, 67–96 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  8. Massacci, F.: Strongly analytic tableaux for normal modal logics. In: Bundy, A. (ed.) CADE 1994. LNCS (LNAI), vol. 814, pp. 723–737. Springer, Heidelberg (1994)

    Google Scholar 

  9. Nguyen, L.A.: Clausal tableau systems and space bounds for the modal logics K, KD, T, KB, KDB, and B. Technical Report TR 00-01(261), Warsaw University (2000)

    Google Scholar 

  10. Rautenberg, W.: Modal tableau calculi and interpolation. Journal of Philosophical Logic 12, 403–423 (1983)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097, Warsaw

    Linh Anh Nguyen

Authors
  1. Linh Anh Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, University of St Andrews, Scotland

    Roy Dyckhoff

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nguyen, L.A. (2000). Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5 . In: Dyckhoff, R. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2000. Lecture Notes in Computer Science(), vol 1847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722086_27

Download citation

  • DOI: https://doi.org/10.1007/10722086_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67697-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation