✦ LIBER ✦

A Normal Modal Calculus Between T and S4 Without the Finite Model Property

✍ Scribed by David Makinson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Normal Modal Calculus Between T and S4

✍ Review by: Ronald Harrop 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 124 KB

A Class of Extensions of the Modal Syste

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

On decidable, finitely axiomatizable, mo

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 586 KB

On decidable, finitely axiomatizable, mo

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 267 KB

A Note on the Modal Calculi S4.2 and S4.

✍ Review by: David Makinson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

That All Normal Extensions of S4.3 Have

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