✦ LIBER ✦

On the predicate logics of finite Kripke frames

✍ Scribed by D. Skvortsov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On finite linear intermediate predicate

✍ Hiroakira Ono 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 504 KB

Some Classes of Kripke Frames Characteri

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

Kripke completeness of some intermediate

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

The Expressive Force of Some Fragments o

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

On the Undecidability of Monadic Modal P

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

On the formulability of predicates on fi

✍ B. A. Romov 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 139 KB