✦ LIBER ✦

Axiomatising divergence

✍ Scribed by Markus Lohrey; Pedro R. D’Argenio; Holger Hermanns

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatising timed automata

✍ Huimin Lin; Wang Yi 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 235 KB

Axiomatising Tree-Interpretable Structur

✍ Achim Blumensath 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 366 KB

Axiomatisation des tests

✍ Christophe Benoit 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 1007 KB

On Axiomatising Products of Kripke Frame

✍ Ágnes Kurucz 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 475 KB

Axiomatisability problems forS-posets

✍ Victoria Gould; Lubna Shaheen 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 924 KB

Axiomatising the Prior Future in Predica

✍ Max Cresswell 📂 Article 📅 2012 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 241 KB