✦ LIBER ✦

On a Modal λ-Calculus for S4

✍ Scribed by F. Pfenning; H.C. Wong

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of the modal proposition

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

Path calculus in the modal logic S4

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

Loop-free calculus for modal logicS4. I

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

Loop-free calculus for modal logicS4. II

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

On a modal lambda calculus for S4 : Fran

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 96 KB

The diagrams of formulas of the modal pr

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