𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formalization of the modal propositional S4 calculus

✍ Scribed by Anita Wasilewska

Publisher
Springer Netherlands
Year
1971
Tongue
English
Weight
535 KB
Volume
27
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A modal calculus analogous toK4W, based
A modal calculus analogous toK4W, based on intuitionistic propositional logic, Iβ„΄
✍ 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