✦ LIBER ✦

Logical Construction of Final Coalgebras

✍ Scribed by Luigi Santocanale

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A finite model construction for coalgebr

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

The construction of cofree coalgebras

✍ Thomas F. Fox 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 538 KB

Admissibility of Cut in Coalgebraic Logi

✍ Dirk Pattinson; Lutz Schröder 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 383 KB

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

An institution of modal logics for coalg

✍ Corina Cıˆrstea 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 290 KB