Model-theoretic characterization of intuitionistic propositional formulas

DOI10.1017/S1755020312000342MaRDI QIDQ4928778zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov

Publication date 18 June 2013

Published in The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

asimulationintuitionistic logicKripke frames

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Abstract: Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations. Finally, it is proved that a first-order formula is intuitionistically equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations between intuitionistic models.

Recommendations

• Model-theoretic characterization of intuitionistic predicate formulas
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• A note on bisimulations of finite Kripke models
• Bisimulation and propositional intuitionistic logic
• Bisimulation reducts and submodels of intuitionistic first-order Kripke models

Cited in

(18)

• Implicit and explicit stances in logic
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• A Lindström theorem for intuitionistic propositional logic
• On generalized van Benthem-type characterizations
• The relevant fragment of first order logic
• Model-theoretic characterization of intuitionistic predicate formulas
• Bi-simulating in bi-intuitionistic logic
• Back and Forth Between First-Order Kripke Models
• Models of intuitionistic TT and NF
• scientific article; zbMATH DE number 7204319 (Why is no real title available?)
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• Ruitenburg's theorem via duality and bounded bisimulations
• A note on bisimulations of finite Kripke models
• Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
• Bisimulation and propositional intuitionistic logic
• A Lindström theorem for intuitionistic first-order logic
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Relational patterns, partiality, and set lifting in modal semantics

This page was built for publication: Model-theoretic characterization of intuitionistic propositional formulas

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