𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A strong completeness theorem in intuitionistic quantified modal logic

✍ Scribed by Hengshan Gao

Publisher
SP Science China Press
Year
2000
Tongue
English
Weight
556 KB
Volume
43
Category
Article
ISSN
1006-9321

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

On Some Completeness Theorems in Modal L
On Some Completeness Theorems in Modal Logic
✍ D. Makinson 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)