𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox

✍ Scribed by Carlo Proietti

Book ID
118805400
Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
461 KB
Volume
41
Category
Article
ISSN
0022-3611

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