作为经典一阶逻辑片段的基本模态直觉主义逻辑的表达力
逻辑
2018-02-01 v2
摘要
本文处理由模态直觉主义逻辑的各自 Kripke 风格语义所诱导的一阶逻辑的 4 个不同片段。为了刻画这些片段，修改并扩展了 asimulation 的概念，以产生其各自表达力的 Van Benthem 型语义刻画。进一步表明，该刻画可以容易地推广到经典一阶模型的任意一阶可定义子类。
引用
@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}
}
备注
29 pages, 0 figures. arXiv admin note: text overlap with arXiv:1207.4414