MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

DOI10.1017/S1755020312000342zbMath1280.03010arXiv1207.4414OpenAlexW3104312353MaRDI QIDQ4928778

Grigory K. 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

intuitionistic logicKripke framesasimulation

Mathematics Subject Classification ID

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

Related Items (8)

On generalized van Benthem-type characterizations ⋮ Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Bi-simulating in bi-intuitionistic logic ⋮ A Lindström theorem for intuitionistic propositional logic ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ On expressive power of basic modal intuitionistic logic as a fragment of classical FOL ⋮ Implicit and explicit stances in logic ⋮ THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC

Cites Work

• Unnamed Item

This page was built for publication: MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS