✦ LIBER ✦

Axiomatizing fixpoint logics

✍ Scribed by Andrzej Szalas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizing logics closely related to v

✍ W. Rautenberg 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 904 KB

Fixpoint logics, relational machines, an

✍ Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor 📂 Article 📅 1997 🏛 Association for Computing Machinery 🌐 English ⚖ 557 KB

Fixpoint logics, relational machines, an

✍ Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor 📂 Article 📅 1997 🏛 Association for Computing Machinery 🌐 English ⚖ 557 KB

Finite satisfiability for guarded fixpoi

✍ Vince Bárány; Mikołaj Bojańczyk 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 153 KB

Model-checking games for fixpoint logics

✍ Julian Gutierrez; Julian Bradfield 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 510 KB

Axiomatization of quantum logics

✍ Sylvia Pulmannová 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 659 KB