✦ LIBER ✦

Coalgebraic logic for stochastic right coalgebras

✍ Scribed by Ernst-Erich Doberkat; Christoph Schubert

Book ID: 108054647
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 850 KB
Volume: 159
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.06.018

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Stochastic coalgebraic logic: Bisimilari

Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence

✍ Ernst-Erich Doberkat 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 532 KB

Equational Coalgebraic Logic

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

On Logics for Coalgebraic Simulation

✍ Corina Cîrstea 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 474 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

Modal Logics are Coalgebraic

✍ Cirstea, C.; Kurz, A.; Pattinson, D.; Schroder, L.; Venema, Y. 📂 Article 📅 2009 🏛 Oxford University Press 🌐 English ⚖ 159 KB

Coalgebraic Semantics for Positive Modal

Coalgebraic Semantics for Positive Modal Logic

✍ Alessandra Palmigiano 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 KB