✦ LIBER ✦

Coalgebras and Modal Expansions of Logics

✍ Scribed by Alexander Kurz; Alessandra Palmigiano

Book ID: 108126372
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 324 KB
Volume: 106
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.05.010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specifying Coalgebras with Modal Logic

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

Coalgebraic Modal Logic Beyond Sets

✍ Bartek Klin 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 505 KB

Institutionalising Many-Sorted Coalgebra

Institutionalising Many-Sorted Coalgebraic Modal Logic

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

Coalgebraic Semantics for Positive Modal

Coalgebraic Semantics for Positive Modal Logic

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

Expressivity of coalgebraic modal logic:

Expressivity of coalgebraic modal logic: The limits and beyond

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

Coalgebraic modal logic: soundness, comp

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

✍ Dirk Pattinson 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 275 KB

This paper studies ÿnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat