✦ LIBER ✦

Kripke models for classical logic

✍ Scribed by Danko Ilik; Gyesik Lee; Hugo Herbelin

Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 382 KB
Volume: 161
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.04.007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Applications of Kripke models to Heyting

Applications of Kripke models to Heyting-Brouwer logic

✍ Cecylia Rauszer 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 509 KB

Constructions of classical models by mea

Constructions of classical models by means of Kripke models (survey)

✍ Bernd I. Dahn 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 325 KB

Generalized Kripke semantics for Nelson’

Generalized Kripke semantics for Nelson’s logic

✍ E. I. Latkin 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 413 KB

Preservation theorems for Kripke models

✍ Morteza Moniri; Mostafa Zaare 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 123 KB

## Abstract There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model __A__ is a submodel of a Kripke model __B__ if they have the same frame and for each two corresponding worlds __A^α^__ and __B^α^__ of them, __A^

Kripke models for subtheories ofCZF

✍ Rosalie Iemhoff 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 237 KB