论文标题
非分配阳性逻辑作为半层次的一阶逻辑的片段
Non-distributive positive logic as a fragment of first-order logic over semilattices
论文作者
论文摘要
我们将非分配阳性逻辑表征为单排一阶语言的片段，该片段由新的模拟概念保存，称为“遇到仿真”。聚会模拟与模拟区分开来，因为它们将成对的状态与一个模型与单一状态相关联。在此结果的途径下，我们使用更传统的模拟概念，并使用称为Meet-Compactness的模态饱和度模拟效果，证明了它的轩尼诗 - 米尔纳风格定理。
We characterise non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by a new notion of simulation called a meet-simulation. Meet-simulations distinguish themselves from simulations because they relate pairs of states from one model to single states from another. En route to this result we use a more traditional notion of simulations and prove a Hennessy-Milner style theorem for it, using an analogue of modal saturation called meet-compactness.
