Kripke models and intermediate logics (original) (raw)
Related papers
Some results on the intermediate logics
Publications of the Research Institute for Mathematical Sciences, 1972
Computable Kripke Models and Intermediate Logics
Information and Computation, 1998
Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
Proceedings of the Japan Academy, 1973
Intermediate predicate logics determined by ordinals
Journal of Symbolic Logic, 1990
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Journal of Logic and Computation, 2001
A Continuum of Incomplete Intermediate Logics
Kripke models for classical logic
Annals of Pure and Applied Logic, 2010
Axiomatization of models for intermediate logics constructed with Boolean models by piling up
Publications of the Research Institute for Mathematical Sciences, 1972
Publications of the Research Institute for Mathematical Sciences, 1973
The completeness of the factor semantics for Lukasiewicz's infinite-valued logics
Slogica, 1993
On orderings of the family of all logics
Archive for Mathematical Logic, 1980
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1991
A Closer Look at Some Subintuitionistic Logics
Notre Dame Journal of Formal Logic, 2001
Chapter 5: Applications to Particular Sentential Logics
2009
Kripke Semantics for Logics with BCK
2007
On the finite model property for Kripke models
Publications of the Research Institute For Mathematical Sciences, 1971
A result on the completeness of superintuitionistic logics
Mathematical Notes of the Academy of Sciences of the USSR, 1984
A study of intermediate predicate logics
Publications of the Research Institute for Mathematical Sciences, 1972
On Skolem and Herbrand Theorems for Intuitionistic Logic
1972
Finite model theory for partially ordered connectives
Journal of Pharmacology and Experimental Therapeutics - J PHARMACOL EXP THER, 2005
An Intuitionistic Characterization of Classical Logic
Decidable Kripke models of intuitionistic theories
Annals of Pure and Applied Logic, 1998
Strong Equivalence on an Intuitionidtic Kripke Model and Assertorically Equivolumetric Logics
Algebraic structures of generalized many-valued logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1985
Partially ordered connectives and∑ 1 1 on finite models
Logical Approaches to Computational …, 2006
On finite linear intermediate predicate logics
Studia Logica, 1988
Inner models from extended logics: Part 1
Journal of Mathematical Logic, 2020
A study of Kripke-type models for some modal logics by Gentzen's sequential method
Publications of the Research Institute for Mathematical Sciences, 1977
Logic Journal of the IGPL, 2009
On countermodels in basic logic
2002
Chapter XVII: Set-Theoretic Definability of Logics
1985
Kripke Models of Transfinite Provability Logic
2012
Logic, Partial Orders and Topology
Manuscrito Revista Internacional De Filosofia, 2005