Extensions of Kripke models
Logic Journal of the IGPL 25 (5):697-699 (2017)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
Kripke models for subtheories of CZF.Rosalie Iemhoff - 2010 - Archive for Mathematical Logic 49 (2):147-167.
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.Dmitrij Skvortsov - 2005 - Studia Logica 81 (2):261-282.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Intuitionistic axiomatizations for bounded extension Kripke models.Mohammad Ardeshir, Wim Ruitenburg & Saeed Salehi - 2003 - Annals of Pure and Applied Logic 124 (1-3):267-285.
Predicate Logical Extensions of some Subintuitionistic Logics.Ernst Zimmermann - 2009 - Studia Logica 91 (1):131-138.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Rudimentary Kripke models for the intuitionistic propositional calculus.Kosta Došen - 1993 - Annals of Pure and Applied Logic 62 (1):21-49.
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.
Analytics
Added to PP
2017-06-27
Downloads
28 (#418,731)
6 months
1 (#450,425)
2017-06-27
Downloads
28 (#418,731)
6 months
1 (#450,425)
Historical graph of downloads
References found in this work
Kripke submodels and universal sentences.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2007 - Mathematical Logic Quarterly 53 (3):311-320.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
