✦ LIBER ✦

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

✍ Scribed by Dmitrij Skvortsov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the predicate logics of finite Kripke

✍ D. Skvortsov 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 544 KB

Some Classes of Kripke Frames Characteri

✍ Robert E. Kirk 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB 👁 1 views

On the size of refutation Kripke models

✍ Hiroakira Ono; Akira Nakamura 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

The Expressive Force of Some Fragments o

✍ P. H. Rodenburg 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 323 KB 👁 1 views

Kripke completeness of some intermediate

✍ Tatsuya Shimura 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 976 KB

On the Undecidability of Monadic Modal P

✍ Akira Nakamura 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB 👁 1 views