Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD

Studia Logica 69 (1):41-57 (2001)

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. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1013834410884
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,665
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Modal Tableau Calculi and Interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.

View all 7 references / Add more references

Citations of this work BETA

Grafting Hypersequents Onto Nested Sequents.Roman Kuznets & Björn Lellmann - 2016 - Logic Journal of the IGPL 24 (3):375-423.

Add more citations

Similar books and articles


Added to PP index

Total views
56 ( #138,678 of 2,242,821 )

Recent downloads (6 months)
28 ( #25,518 of 2,242,821 )

How can I increase my downloads?


My notes

Sign in to use this feature