✦ LIBER ✦

The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★

✍ Scribed by Esakia, Leo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Situation Calculus: A Case for Modal

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

On the Beth properties of some intuition

✍ C. Luppi 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 119 KB

On the interpolation property of some in

✍ C. Luppi 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 251 KB

Intuitionistic modal logics incompatible

✍ Dimiter Vakarelov 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 640 KB

A binary modal logic for the intersectio

✍ Silvio Valentini; Matteo Viale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB

An application of Rieger-Nishimura formu

✍ Dimiter Vakarelov 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 409 KB