LFD 的有限模型性质与互模拟
计算机科学中的逻辑
2021-09-20 v1 多智能体系统
摘要
近来，Baltag 与 van Benthem 引入了一种可判定的函数依赖逻辑（LFD），该逻辑通过原子局部依赖语句扩展了柱面相对化集合代数（CRS）的逻辑。其语义可用广义赋值模型或其模态对应物给出，因此该逻辑既是一阶逻辑也是模态逻辑。我们利用 Herwig 关于扩展部分同构的定理证明了 LFD 具有有限模型性质（FMP），并证明了一个互模拟不变性定理，将 LFD 刻画为一阶逻辑的一个片段。
引用
@article{arxiv.2109.08313,
title = {Finite Model Property and Bisimulation for LFD},
author = {Raoul Koudijs},
journal= {arXiv preprint arXiv:2109.08313},
year = {2021}
}
备注
In Proceedings GandALF 2021, arXiv:2109.07798. An extended version of this paper appears at arXiv:2107.06042