✦ LIBER ✦

All Normal Extensions of S5-squared Are Finitely Axiomatizable

✍ Scribed by Nick Bezhanishvili; Ian Hodkinson

Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 241 KB
Volume: 78
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-004-6044-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

All Finitely Axiomatizable Normal Extens

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable

✍ Michael Zakharyaschevm; Alexander Alekseev 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 546 KB

We use the apparatus of the canonical formulas introduced by Zakharyaschev [lo] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal log

All Finitely Axiomatizable Tense Logics

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

✍ Tadeusz Litak; Frank Wolter 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 236 KB

That All Normal Extensions of S4.3 Have

That All Normal Extensions of S4.3 Have the Finite Model Property

✍ R. A. Bull 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 258 KB 👁 1 views