✦ 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
DOI: 10.1023/a:1022967222753

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Formulas of One Variable in Intuition

On Formulas of One Variable in Intuitionistic Propositional Calculus

✍ Iwao Nishimura 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 214 KB

The diagrams of formulas of the modal pr

The diagrams of formulas of the modal propositional S4*calculus

✍ Anita Wasilewska 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

A stipulation of logical truth in a moda

A stipulation of logical truth in a modal propositional calculus

✍ Charles E. Caton 📂 Article 📅 1962 🏛 Springer Netherlands 🌐 English ⚖ 204 KB

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

Expressivity of Second Order Proposition

Expressivity of Second Order Propositional Modal Logic

✍ Balder ten Cate 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 375 KB

A formalization of the modal proposition

A formalization of the modal propositional S4 calculus

✍ Anita Wasilewska 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 535 KB