摘要：直观的S4模态逻辑的可决定性 （Intuitionistic Modal Logic S4的可判定性）
作者：Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Stra{ss}burger
论文ID：2304.12094
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-01
PDF 下载： 英文版 中文版pdf翻译中