单调模态逻辑中的对应、典范性与模型论
逻辑
2020-02-14 v4
摘要
我们研究 coalgebraic 谓词逻辑(由Chang首次提出的邻域框架逻辑)在单调模态逻辑研究中的作用。我们证明了Goldblatt-Thomason定理和Fine典范性定理在coalgebraic谓词逻辑中初等等价封闭的单调邻域框架类上的类比。这里的初等等价可分别相对化到单调、拟滤子、增广拟滤子、滤子或增广滤子邻域框架类。原Kripke语义版本的定理作为关于增广滤子邻域框架类的特例自然得出。
引用
@article{arxiv.1904.12997,
title = {Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics},
author = {Kentarô Yamamoto},
journal= {arXiv preprint arXiv:1904.12997},
year = {2020}
}
备注
25 pages; to be published in Studia Logica