✦ LIBER ✦

Logics of Kripke meta-models

✍ Scribed by Babenyshev, S.; Rybakov, V.

Book ID: 121727540
Publisher: Oxford University Press
Year: 2009
Tongue: English
Weight: 180 KB
Volume: 18
Category: Article
ISSN: 1367-0751
DOI: 10.1093/jigpal/jzp047

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computable Kripke Models and Intermediat

Computable Kripke Models and Intermediate Logics

✍ Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Kripke models for classical logic

✍ Danko Ilik; Gyesik Lee; Hugo Herbelin 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 382 KB

Kripke Incomplete Logics Containing KTB

✍ Yutaka Miyazaki 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 322 KB

Kripke-style Semantics of Orthomodular L

Kripke-style Semantics of Orthomodular Logics

✍ Yutaka Miyazaki 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB 👁 2 views

Constants in Kripke Models for Intuition

Constants in Kripke Models for Intuitionistic Logic

✍ Daniel Dzierzgowski 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 617 KB

We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be "axiomatized" by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove exte

On Some Kripke Complete and Kripke Incom

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics

✍ Dmitrij Skvortsov 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 491 KB