@article{fc20e32963264f54a6ff94b5cb2624fa,
title = "Model-theoretic characterization of intuitionistic predicate formulas",
keywords = "constant domains, First-order logic, intuitionistic logic, modal characterization theorem, model theory",
author = "Olkhovikov, {Grigory K.}",
year = "2014",
month = aug,
doi = "10.1093/logcom/ext014",
language = "English",
volume = "24",
pages = "809--829",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "4",
}