近期，我中心刘奋荣教授和中国科学院哲学研究所、中国科学院大学人文学院李大柱副教授，日本北海道大学文学研究院哲学伦理学研究室佐野胜彦教授合作的文章 Hybrid Logic of the Hide and Seek Game在著名英文期刊 Studia Logica 上发表。
摘要：捉迷藏逻辑最初被用于刻画多主体在追逐情形中的互动行为，本文进一步研究的一个混合扩展，并从多个角度展示这个扩展的优点。相较于，这个扩展在技术方面提升了逻辑性质，同时也拓展了潜在的应用。本文从模型和框架两个层面研究了捉迷藏混合逻辑和它的一个关键片段的表达力，并对这两个逻辑提供了完全的希尔伯特公理化系统，这对文献中的一个开问题提供了一个解决方案。 Abstract:The logic of the hide and seek gamewas proposed to capture interactions between agents in pursuit-evasion environments. In this paper, we explore a hybrid extension ofand show that such an extension is beneficial in several aspects. We will show that it improves the technical properties of the resulting logical system, and expands the potential applications of the system. Specifically, we will investigate the expressive power of the hybrid logic of the hide and seek gameand its crucial fragment, at both model and frame levels. We will present complete Hilbert-style proof systems for both the logicsand, which in fact provides a solution to a known open problem.DOI:https://doi.org/10.1007/s11225-024-10149-7
