✦ LIBER ✦

Algorithmic correspondence and canonicity for distributive modal logic

✍ Scribed by Willem Conradie; Alessandra Palmigiano

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability, Canonical Models, Compactn

✍ Alexander Kurz; Dirk Pattinson 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 307 KB

General canonical models for graded norm

✍ C. Cerrato 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 590 KB

The Ackermann approach for modal logic,

✍ Renate A. Schmidt 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 316 KB

Proof Theory for Modal Logic

✍ Sara Negri 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

Global and logical time in distributed a

✍ Carroll Morgan 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 495 KB

Full Models for Positive Modal Logic

✍ Ramon Jansana 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 267 KB