๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Failures of the Interpolation Lemma in Quantified Modal Logic

โœ Scribed by Kit Fine

Book ID
118159890
Publisher
Association for Symbolic Logic
Year
1979
Tongue
English
Weight
186 KB
Volume
44
Category
Article
ISSN
0022-4812

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