论文标题
跨关系语义的模态减少原则
Modal reduction principles across relational semantics
论文作者
论文摘要
本文在各种关系语义设置中建立了SAHLQVIST模态降低原理的一阶通讯员之间的系统联系，包括清晰和多重值的Kripke框架，以及清晰的和多价值的极性框架（又名富含正式的正式背景）。在统一的对应理论的基础上，我们旨在引入一个理论环境，该环境使以下理论环境可以：（a）对任何给定的SAHLQVIST模态减少原理的各种框架通讯员（在不同的关系环境中）进行比较和相互融合； （b）识别不同类型的关系结构的框架对应语言中的一阶句子何时编码相同的“模态内容”； （c）有意义地传递并代表众所周知的关系特性，例如反射性，传递性，对称性，序列，汇合，密度，跨越不同的语义环境。这些结果可以理解为研究计划的第一步，旨在使对应理论不仅（方法论）统一，而且（有效）参数。
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which include crisp and many-valued Kripke frames, and crisp and many-valued polarity-based frames (aka enriched formal contexts). Building on unified correspondence theory, we aim at introducing a theoretical environment which makes it possible to: (a) compare and inter-relate the various frame correspondents (in different relational settings) of any given Sahlqvist modal reduction principle; (b) recognize when first-order sentences in the frame-correspondence languages of different types of relational structures encode the same "modal content"; (c) meaningfully transfer and represent well known relational properties such as reflexivity, transitivity, symmetry, seriality, confluence, density, across different semantic contexts. These results can be understood as a first step in a research program aimed at making correspondence theory not just (methodologically) unified, but also (effectively) parametric.
