𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modal Logics of Reactive Frames

✍ Scribed by Dov M. Gabbay; Sérgio Marcelino


Publisher
Springer Netherlands
Year
2009
Tongue
English
Weight
426 KB
Volume
93
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The completeness of monotonic modal logi
✍ Brian F. Chellas; Audrey McKinney 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th