𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressivity of coalgebraic modal logic: The limits and beyond

✍ Scribed by Lutz Schröder


Book ID
108281364
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
423 KB
Volume
390
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Coalgebraic modal logic: soundness, comp
✍ 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