Decidable and undecidable logics with a binary modality
Decidable and undecidable logics with a binary modality
复制标题
具有二元模态的可判定和不可判定逻辑
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
András Simon
中科院分区：
文献类型：
--
作者：
Á. Kurucz;I. Németi;I. Sain;András Simon
我们给出了一个概述的可判定性结果的模态逻辑具有二进制模态。我们把重点放在证明技术的演示，并希望这也将有助于找到通常的一阶逻辑的可判定和不可判定片段之间的边界。
We give an overview of decidability results for modal logics having a binary modality. We put an emphasis on the demonstration of proof-techniques, and hope that this will also help in finding the borderlines between decidable and undecidable fragments of usual first-order logic.