时态逻辑论文

基于组合范畴语法的汉语时间词的逻辑语义分析罗丹（湘潭大学碧泉书院，湖南湘潭411105）摘要：当今时代是计算机信息处理的时代“，大数据”和“云计算”等思想接踵而至“，计算机句法...

结构平衡理论的时态模型：形式系统与程序实现王轶骆犀羚摘要：敌友逻辑（vanderHoek,etal.,2018）采用结构平衡理论的视角对社会网络的动态变化进行了刻画。在一个稳定...