Archive for Mathematical Logic 59 (5-6):659-678 (2020)

Abstract
We introduce and investigate the notion of uniform Lyndon interpolation property which is a strengthening of both uniform interpolation property and Lyndon interpolation property. We prove several propositional modal logics including \, \, \ and \ enjoy ULIP. Our proofs are modifications of Visser’s proofs of uniform interpolation property using layered bisimulations Gödel’96, logical foundations of mathematics, computer science and physics—Kurt Gödel’s legacy, Springer, Berlin, 1996). Also we give a new upper bound on the complexity of uniform interpolants for \ and \.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-020-00713-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,132
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

Modal Logic.Alexander Chagrov - 1997 - Oxford, England: Oxford University Press.
The Logic of Provability.George S. Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.

View all 23 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Uniform Interpolation and Sequent Calculi in Modal Logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
On the Interpolation Property of Some Intuitionistic Modal Logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Interpolation Property for Bicartesian Closed Categories.Djordje Čubrić - 1994 - Archive for Mathematical Logic 33 (4):291-319.
Constructive Interpolation in Hybrid Logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.

Analytics

Added to PP index
2020-01-21

Total views
3 ( #1,328,934 of 2,454,810 )

Recent downloads (6 months)
1 ( #449,241 of 2,454,810 )

How can I increase my downloads?

Downloads

My notes