✦ LIBER ✦

A finite model construction for coalgebraic modal logic

✍ Scribed by Lutz Schröder

Book ID: 113720617
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 235 KB
Volume: 73
Category: Article
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2006.11.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

An institution of modal logics for coalg

An institution of modal logics for coalgebras

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

Logical Connectives for Constructive Mod

Logical Connectives for Constructive Modal Logic

✍ Heinrich Wansing 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 267 KB

A Logic for Coalgebraic Simulation

✍ Alexandru Baltag 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 940 KB

Building on the work of L. Moss on coalgebraic logic, we study in a general setting a class of infinitary modal logics for \(F\)-coalgebras, designed to capture simulation and bisimulation. We use work by A. Thijs on coalgebraic modelling of simulation, in terms of relators \(\Gamma\) as extensions

Modalities in the Stone age: A compariso

Modalities in the Stone age: A comparison of coalgebraic logics

✍ Alexander Kurz; Raul Leal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 462 KB