✦ LIBER ✦

A Buchholz Rule for Modal Fixed Point Logics

✍ Scribed by Gerhard Jäger; Thomas Studer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sahlqvist theorem for modal fixed point

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

Modular Games for Coalgebraic Fixed Poin

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

Rewrite rule systems for modal propositi

✍ Annie Foret 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 885 KB

A posteriori stopping rule for regulariz

✍ Anatoly Bakushinsky; Alexandra Smirnova 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 107 KB

A general filtration method for modal lo

✍ Dov M. Gabbay 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

Tableaus with Invertible Rules for Many‐

✍ J. Sakalauskaitė 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 127 KB