✦ 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
DOI: 10.1016/j.tcs.2007.09.023

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebras and Modal Expansions of Logic

Coalgebras and Modal Expansions of Logics

✍ Alexander Kurz; Alessandra Palmigiano 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 324 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

Approximations of modal logics: and beyo

Approximations of modal logics: and beyond

✍ Guilherme de Souza Rabello; Marcelo Finger 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 309 KB

Beyond Discretion: Prosecution, the Logi

Beyond Discretion: Prosecution, the Logic of Sovereignty, and the Limits of Law

✍ Austin Sarat; Conor Clarke 📂 Article 📅 2008 🏛 Cambridge University Press 🌐 English ⚖ 191 KB

Gödel and the Limits of Logic

✍ Dawson, John W. 📂 Article 📅 1999 🏛 Nature Publishing Group 🌐 English ⚖ 821 KB

Some theorems on the expressive limitati

Some theorems on the expressive limitations of modal languages

✍ Harold T. Hodes 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 645 KB