✦ LIBER ✦

Specifying Coalgebras with Modal Logic

✍ Scribed by Alexander Kurz

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 845 KB
Volume: 11
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00053-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Definability, Canonical Models, Compactn

Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

✍ Alexander Kurz; Dirk Pattinson 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 307 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

Quantified Modal Logic With Rigid Terms

✍ Giovanna Corsi 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 511 KB

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS

✍ Geir Waagbø; G. Waagbø 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo