Expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Logic
2018-02-01 v2
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.
Keywords
Cite
@article{arxiv.1511.01730,
title = {Expressive power of basic modal intuitionistic logic as a fragment of classical FOL},
author = {Grigory Olkhovikov},
journal= {arXiv preprint arXiv:1511.01730},
year = {2018}
}
Comments
29 pages, 0 figures. arXiv admin note: text overlap with arXiv:1207.4414