当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO),给出了基于带赋值的符号迁移图的语义解释.证明了HML(FO)的子逻辑HML(F......

Quine提出了一类有关信念模态的难题，比如Cicero难题，这些难题的解读对模态逻辑语义具有重要的意义。目前的一阶模态逻辑普遍给予Qui......

逻辑学以及形式语义学对汉语连动结构的研究一般都停留在一阶逻辑的层面上，即通过一阶逻辑中的形式化方法给出连动结构的形式化构造......