局部性质的简单公设
摘要：论文题目：在具有局部属性的模态逻辑中，关于正直观的简单和完备公理化的引入
作者：Philippe Balbiani (Institut de Recherche en Informatique de Toulouse), Wiebe van der Hoek (University of Liverpool), Louwe B. Kuijer (University of Liverpool)
论文ID：2307.05040
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-12