Lehtinen (2008)引入了新的关于模态公式的有效性概念,其中允许对所谓的“helper modalities”所对应的二元关系进行量化,并且其中的“boss modalities”类似于模态逻辑中的普通模态词,即被解释为克里普克(S.Kripke)框架中确定的二元关系。本文研究了这一有效性概念的对应理论。针对这一有效性定义了一类萨奎斯特(Sahlqvist)公式,其中每个公式都存在其对应的一阶框架,并给出了相应的ALBARQ算法来计算该类公式的一阶对应。
科研之友
微信
新浪微博
Facebook
分享链接
