A remark on propositional Kripke frames sound for intuitionistic logics

zbMATH Open1254.03017MaRDI QIDQ2904065FDOQ2904065

Authors: Dmitrij Skvortsov 

Publication date: 5 August 2012

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

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)

Cited In (4)

• Reactive intuitionistic tableaux
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• Title not available (Why is that?)
• Title not available (Why is that?)

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)