✦ LIBER ✦

On Logics for Coalgebraic Simulation

✍ Scribed by Corina Cîrstea

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Coalgebraic logic for stochastic right c

Coalgebraic logic for stochastic right coalgebras

✍ Ernst-Erich Doberkat; Christoph Schubert 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 850 KB

Modular Games for Coalgebraic Fixed Poin

Modular Games for Coalgebraic Fixed Point Logics

✍ Corina Cîrstea; Mehrnoosh Sadrzadeh 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 421 KB

On Expressivity and Compositionality in

On Expressivity and Compositionality in Logics for Coalgebras

✍ Corina Cîrstea 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Coalgebraic Semantics for Positive Modal

Coalgebraic Semantics for Positive Modal Logic

✍ Alessandra Palmigiano 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 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