𝔖 Bobbio Scriptorium
✦   LIBER   ✦

One Calculus of Nonderivable Formulas of Propositional Modal Logic

✍ Scribed by S. Norgėla


Book ID
110429854
Publisher
Springer
Year
2003
Tongue
English
Weight
114 KB
Volume
43
Category
Article
ISSN
0363-1672

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A modal calculus analogous toK4W, based
✍ Aldo Ursini 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 751 KB

This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the "provability" predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way. Completeness theorems, existence of a characte