论文标题
Sahlqvist对应理论的瞬时邻居逻辑
Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic
论文作者
论文摘要
在本文中，我们调查了瞬时邻里逻辑（INL）的SAHLQVIST型对应理论，该理论可以谈论有关给定世界邻里的存在信息，并且是关系语义与邻里语义之间的混合。我们有两个证明对应结果的证据，第一个证明是通过直接使用标准翻译和最小值的估值技术获得的，第二个证明是[4]和[6]，在此我们使用双峰翻译方法将近邻域逻辑中的对应问题降低到经典Kripke Semantics中的正常双峰逻辑中的对应问题。我们在本文结尾给出了一些评论和未来的指示。
In the present paper, we investigate the Sahlqvist-type correspondence theory for instantial neighbourhood logic (INL), which can talk about existential information about the neighbourhoods of a given world and is a mixture between relational semantics and neighbourhood semantics. We have two proofs of the correspondence results, the first proof is obtained by using standard translation and minimal valuation techniques directly, the second proof follows [4] and [6], where we use bimodal translation method to reduce the correspondence problem in instantial neighbourhood logic to normal bimodal logics in classical Kripke semantics. We give some remarks and future directions at the end of the paper.
