✦ LIBER ✦

Modular Games for Coalgebraic Fixed Point Logics

✍ Scribed by Corina Cîrstea; Mehrnoosh Sadrzadeh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fixed-Point Logics and Solitaire Games

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

Automata and fixed point logic: A coalge

✍ Yde Venema 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 433 KB

A Buchholz Rule for Modal Fixed Point Lo

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

Sahlqvist theorem for modal fixed point

✍ Nick Bezhanishvili; Ian Hodkinson 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 343 KB

Fixed point theorems for contraction map

✍ Chirasak Mongkolkeha; Wutiphol Sintunavarat; Poom Kumam 📂 Article 📅 2011 🏛 Springer International Publishing AG 🌐 English ⚖ 179 KB

Fixed point theory for generalized quasi

✍ A. Amini-Harandi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 233 KB