✦ LIBER ✦

A modal calculus analogous toK4W, based on intuitionistic propositional logic, Iℴ

✍ Scribed by Aldo Ursini

Publisher: Springer Netherlands
Year: 1979
Tongue: English
Weight: 751 KB
Volume: 38
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00405387

No coin nor oath required. For personal study only.

✦ Synopsis

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 characteristic model and of a characteristic frame, properties of FMP and FFP and decidability ~re proved.

📜 SIMILAR VOLUMES

An extended Gentzen-type formulation of

An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

✍ Osamu Morikawa 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 427 KB

The main purpose of this paper is to present an extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation.