kripke structures | BriefGPT

关键词kripke structures

搜索结果 - 1

分级模态逻辑与计数双模拟
本文考虑一阶逻辑到带分级的模态逻辑中基本特征定理的拓展，重点在展示分级多模态逻辑对 Kripke 结构中保存在计数等价中的一阶特性的表现完备性。
PDF5 years ago