𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On modal logic with an intuitionistic base

✍ Scribed by Gisèle Fischer Servi

Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
373 KB
Volume
36
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systems of Transfinite Type Theory Based
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics
✍ Kenneth A. Bowen 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those

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