✦ LIBER ✦

An institution of modal logics for coalgebras

✍ Scribed by Corina Cıˆrstea

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebras and Modal Expansions of Logic

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

Coalgebraic semantics of modal logics: A

✍ Clemens Kupke; Dirk Pattinson 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Coalgebraic Semantics for Positive Modal

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

A finite model construction for coalgebr

✍ Lutz Schröder 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 235 KB

Definability, Canonical Models, Compactn

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

Expressivity of coalgebraic modal logic:

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