Kripke models and intermediate logics
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3222132 (Why is no real title available?)
- scientific article; zbMATH DE number 3245444 (Why is no real title available?)
- scientific article; zbMATH DE number 3252193 (Why is no real title available?)
- scientific article; zbMATH DE number 3259885 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- Modal Logics Between S 4 and S 5
- Some relational systems and the associated topological spaces
- The decidability of certain intermediate propositional logics
Cited in
(25)- On superintuitionistic logics as fragments of proof logic extensions
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- Evaluation of Peirce's axiom on intermediate Kripke models and its application
- Finite axiomatization for some intermediate logics
- On fragments of Medvedev's logic
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics
- A study of intermediate propositional logics on the third slice
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
- Negative equivalence of extensions of minimal logic
- On the structure of paraconsistent extensions of Johansson's logic
- Logics of some Kripke frames connected with Medvedev notion of informational types
- A study of intermediate predicate logics
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- Profiniteness and representability of spectra of Heyting algebras
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics
- Generalizations of the weak law of the excluded middle
- Epimorphisms in varieties of residuated structures
- On the finite model property for Kripke models
- Some results on the intermediate logics
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
- Decidability problem for finite Heyting algebras
- Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
- Generalized tableau systems for intermediate propositional logics
- A new constant in superintuitionistic logic L3
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
This page was built for publication: Kripke models and intermediate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2548955)
