On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

DOI10.1016/J.JAL.2016.11.036MaRDI QIDQ518747zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov

Publication date 30 March 2017

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.01730

zbMATH Keywords

bisimulationintuitionistic logicmodal logicmodel theorypropositional logicvan Benthem's theorem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Abstract: The paper treats 4 different fragments of first-order logic induced by their respective versions of Kripke style semantics for modal intuitionistic logic. In order to capture these fragments, the notion of asimulation is modified and extended to yield Van Benthem type of semantic characterization of their respective expressive powers. It is shown, further, that this characterization can be easily carried over to arbitrary first-order definable subclasses of classical first-order models.

Recommendations

• Model-theoretic characterization of intuitionistic propositional formulas
• scientific article; zbMATH DE number 1303434
• Bi-simulating in bi-intuitionistic logic
• Modal characterisation theorems over special classes of frames
• Model-theoretic characterization of intuitionistic predicate formulas

Cites work

• A general method for proving decidability of intuitionistic modal logics
• A short introduction to intuitionistic logic
• Bi-simulating in bi-intuitionistic logic
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• scientific article; zbMATH DE number 957948 (Why is no real title available?)
• Modal logic
• Model theory
• Model-theoretic characterization of intuitionistic predicate formulas
• Model-theoretic characterization of intuitionistic propositional formulas
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic

Cited in

(13)

• On the universality of atomic and molecular logics via protologics
• A Lindström theorem for intuitionistic propositional logic
• On generalized van Benthem-type characterizations
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• Model-theoretic characterization of intuitionistic predicate formulas
• Bi-simulating in bi-intuitionistic logic
• scientific article; zbMATH DE number 4035785 (Why is no real title available?)
• scientific article; zbMATH DE number 4075020 (Why is no real title available?)
• Model-theoretic characterization of intuitionistic propositional formulas
• scientific article; zbMATH DE number 7439733 (Why is no real title available?)
• Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic
• A van Benthem theorem for fuzzy modal logic
• A van Benthem theorem for atomic and molecular logics

This page was built for publication: On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

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