A remark on propositional Kripke frames sound for intuitionistic logics

MaRDI QIDQ2904065zbMATH OpenFDO

Authors Dmitrij Skvortsov

Publication date 5 August 2012

zbMATH Keywords

intuitionistic logicKripke semanticsKripke framessuperintuitionistic logiclogical soundnesspartially ordered frames

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
• On the predicate logics of finite Kripke frames
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• A remark on superintuitionistic predicate logics of Kripke frames with constant and with nested domains
• Kripke semantics for intuitionistic Łukasiewicz logic
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• On the predicate logic of linear Kripke frames and some of its extensions
• A general framework for sound and complete Floyd-Hoare logics

Cited in

(4)

• Reactive intuitionistic tableaux
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• scientific article; zbMATH DE number 3963825 (Why is no real title available?)
• scientific article; zbMATH DE number 4035784 (Why is no real title available?)

This page was built for publication: A remark on propositional Kripke frames sound for intuitionistic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904065)