✦ LIBER ✦

Automata and fixed point logic: A coalgebraic perspective

✍ Scribed by Yde Venema

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular Games for Coalgebraic Fixed Poin

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

A coalgebraic perspective on linear weig

✍ Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 472 KB

Fixed-Point Logics and Solitaire Games

✍ Dietmar Berwanger; Erich Grädel 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 288 KB

Fixed point theorems in logic programmin

✍ Mohamed A. Khamsi; Driss Misane 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 336 KB

A Buchholz Rule for Modal Fixed Point Lo

✍ Gerhard Jäger; Thomas Studer 📂 Article 📅 2011 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 256 KB

A logic of implications in algebra and c

✍ Jiří Adámek; Manuela Sobral; Lurdes Sousa 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 316 KB