✦ LIBER ✦

Loop-free calculus for modal logicS4. I

✍ Scribed by Julius Andrikonis

Book ID: 113073786
Publisher: Springer
Year: 2012
Tongue: English
Weight: 166 KB
Volume: 52
Category: Article
ISSN: 0363-1672
DOI: 10.1007/s10986-012-9151-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Loop-free calculus for modal logicS4. II

✍ Andrikonis, Julius 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 165 KB

A Loop-Free Decision Procedure for Modal

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

✍ Dorota Leszczyńska-Jasion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 899 KB

Path calculus in the modal logic S4

✍ S. Norgėla 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 85 KB

Free-Variable Tableaux for Propositional

Free-Variable Tableaux for Propositional Modal Logics

✍ Bernhard Beckert; Rajeev GorÉ 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 421 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

Intensionality of Modal Logic for Robust

Intensionality of Modal Logic for Robust Ambient Calculus

✍ Taolue Chen; Tingting Han; Jian Lu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 159 KB