✦ LIBER ✦

Regular equivalence and dynamic logic

✍ Scribed by Maarten Marx; Michael Masuch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Regular dynamic logic is not interpretab

✍ A.P. Stolboushkin 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 656 KB

Inductive equivalence in clausal logic a

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 826 KB

PRESUPPOSITION PROJECTION AND LOGICAL EQ

✍ Daniel Rothschild 📂 Article 📅 2008 🏛 Blackwell Publishing 🌐 English ⚖ 161 KB

On logical and concurrent equivalences

✍ J.C. Bradfield; S.B. Fröschle 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 290 KB

NP-Logic Systems and Model-Equivalence R

✍ Yu-Ping Shen; Xi-Shun Zhao 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 259 KB

Stochastic coalgebraic logic: Bisimilari

✍ Ernst-Erich Doberkat 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 532 KB