Studia Logica 85 (1):1-31 (2007)
| Abstract |
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 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
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.
Uniform Interpolation in Substructural Logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.
Second-Order Propositional Modal Logic and Monadic Alternation Hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
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
Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Μ-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
Amalgamation and Interpolation in Normal Modal Logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Undefinability of Propositional Quantifiers in the Modal System S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
Interpolation and Amalgamation; Pushing the Limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Problem of Restricted Interpolation in Superintuitionistic and Some Modal Logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
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.
Cut-Free Tableau Calculi for Some Propositional Normal Modal Logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Analytics
Added to PP index
2009-01-28
Total views
107 ( #108,064 of 2,498,789 )
Recent downloads (6 months)
1 ( #421,542 of 2,498,789 )
2009-01-28
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?
Downloads
