✦ LIBER ✦

Equational Coalgebraic Logic

✍ Scribed by Alexander Kurz; Raul Leal

Book ID: 108127141
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 480 KB
Volume: 249
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.07.097

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebraic logic for stochastic right c

Coalgebraic logic for stochastic right coalgebras

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

Fuzzy equational logic

✍ Radim Bělohlávek 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 91 KB

Equational propositional logic

✍ David Gries; Fred B. Schneider 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 561 KB

Coalgebraic Modal Logic Beyond Sets

✍ Bartek Klin 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 505 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

Reflection in membership equational logi

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 469 KB