✦ LIBER ✦

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

✍ Scribed by Vedran Čačić, Domagoj Vrgoč

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal logics with several operators and

✍ Tim Carlson 📂 Article 📅 1986 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 393 KB

Modality, bisimulation and interpolation

✍ Johan van Benthem 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 942 KB

A modal provability logic of explicit an

✍ Evan Goris 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 830 KB

A note on modal logic and possibility th

✍ Zadeh, Lotfi A. 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 471 KB

A PURELY SYNTACTIC AND CUT-FREE SEQUENT

✍ POGGIOLESI, FRANCESCA 📂 Article 📅 2009 🏛 Cambridge University Press 🌐 English ⚖ 137 KB

A note on comparing probabilistic and mo

✍ ERNEST W. ADAMS 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 404 KB