Studia Logica 85 (1):1-31 (2007)

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts’ proof of uniform interpolationin intuitionistic propositional logic [15]. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-007-9021-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,078
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Propositional Quantifiers in Modal Logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
The Modal Logic of Provability. The Sequential Approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
On Modal Logic with Propositional Quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.

View all 9 references / Add more references

Citations of this work BETA

Uniform Interpolation and Sequent Calculi in Modal Logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
Uniform Interpolation and the Existence of Sequent Calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
Craig Interpolation for Networks of Sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.

View all 8 citations / Add more citations

Similar books and articles

Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
Some Connections Between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Herbrand Style Proof Procedures for Modal Logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.
Definability Properties and the Congruence Closure.Xavier Caicedo - 1990 - Archive for Mathematical Logic 30 (4):231-240.
Constructive Interpolation in Hybrid Logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.


Added to PP index

Total views
107 ( #108,064 of 2,498,789 )

Recent downloads (6 months)
1 ( #421,542 of 2,498,789 )

How can I increase my downloads?


My notes