✦ LIBER ✦

Coalgebraic Modal Logic Beyond Sets

✍ Scribed by Bartek Klin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressivity of coalgebraic modal logic:

✍ Lutz Schröder 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Institutionalising Many-Sorted Coalgebra

✍ Corina Cîrstea 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 404 KB

Coalgebraic Semantics for Positive Modal

✍ Alessandra Palmigiano 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 KB

Specifying Coalgebras with Modal Logic

✍ Alexander Kurz 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 845 KB

Coalgebras and Modal Expansions of Logic

✍ Alexander Kurz; Alessandra Palmigiano 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Definability, Canonical Models, Compactn

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