✦ LIBER ✦

Loop-free calculus for modal logicS4. II

✍ Scribed by Andrikonis, Julius

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Loop-free calculus for modal logicS4. I

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

A Loop-Free Decision Procedure for Modal

✍ 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

✍ Bernhard Beckert; Rajeev GorÉ 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 421 KB

Intensionality of Modal Logic for Robust

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

The Situation Calculus: A Case for Modal

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB