✦ LIBER ✦

Provability and Interpretability Logics with Restricted Realizations

✍ Scribed by Icard, Thomas F.; Joosten, Joost J.

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

On systems of modal logic with provabili

✍ GEORGE BOOLOS 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 494 KB

Uniform provability realization of intui

✍ Sergei N. Artemov 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 510 KB

A Note on Bisimulation and Modal Equival

✍ Vedran Čačić, Domagoj Vrgoč 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 241 KB

Realizability interpretation of coinduct

✍ Makoto Tatsuta 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 942 KB

Functions realizable with word-parallel

✍ Warren, Henry S. 📂 Article 📅 1977 🏛 Association for Computing Machinery 🌐 English ⚖ 260 KB