✦ LIBER ✦

Interpolation theorems in modal logics. Sufficient conditions

✍ Scribed by L. L. Maksimova

Book ID: 105273184
Publisher: Springer US
Year: 1980
Tongue: English
Weight: 1008 KB
Volume: 19
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01669837

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Repairing the interpolation theorem in q

Repairing the interpolation theorem in quantified modal logic

✍ Carlos Areces; Patrick Blackburn; Maarten Marx 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Quantiÿed hybrid logic is quantiÿed modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's deÿnability theorem fail in a number of well-known quantiÿed modal logics (for example in quantiÿed modal K, T, D, S4, S4.3

Interpolation in weakly transitive modal

Interpolation in weakly transitive modal logics

✍ A. V. Karpenko 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 983 KB

Amalgamation and interpolation in normal

Amalgamation and interpolation in normal modal logics

✍ Larisa Maksimova 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 740 KB

This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.

Uniform Interpolation and Propositional

Uniform Interpolation and Propositional Quantifiers in Modal Logics

✍ Marta Bílková 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 291 KB

Modality, bisimulation and interpolation

Modality, bisimulation and interpolation in infinitary logic

✍ Johan van Benthem 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 942 KB

An incompleteness theorem in modal logic

✍ S. K. Thomason 📂 Article 📅 1974 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 210 KB