✦ LIBER ✦

QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE

✍ Scribed by Kremer, Philip (author)

Book ID: 124081732
Publisher: Cambridge University Press
Year: 2014
Tongue: English
Weight: 144 KB
Volume: 7
Category: Article
ISSN: 1755-0203
DOI: 10.1017/S1755020314000021

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Modal Logic with Propositional Quanti

On Modal Logic with Propositional Quantifiers

✍ R. A. Bull 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 617 KB

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

Failures of the Interpolation Lemma in Q

Failures of the Interpolation Lemma in Quantified Modal Logic

✍ Kit Fine 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 186 KB

The modal logic of continuous functions

The modal logic of continuous functions on the rational numbers

✍ Philip Kremer 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 160 KB

ROMANTISME ALLEMAND - II || The Logic of

ROMANTISME ALLEMAND - II || The Logic of Common Nouns. An Investigation in Quantified Modal Logicby Anil Gupta

✍ Review by: A. Reix 📂 Article 📅 1983 🏛 Presses Universitaires de France 🌐 French ⚖ 194 KB

On the Foundations of Logical Modality

✍ Tahko, Tuomas 📂 Fiction 📅 0 🌐 English ⚖ 106 KB