Model-theoretic characterization of intuitionistic predicate formulas

DOI10.1093/LOGCOM/EXT014zbMath1338.03008arXiv1202.1195OpenAlexW1600736686MaRDI QIDQ2937693

Grigory K. Olkhovikov

Publication date: 12 January 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

first-order logicmodel theoryintuitionistic logicconstant domainsmodal characterization theorem

Mathematics Subject Classification ID

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

Related Items (4)

On generalized van Benthem-type characterizations ⋮ 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

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