机译:命题和模态包含逻辑中的模型检查和有效性
Tampere Univ Unit Comp Sci Tampere 33100 Finland;
Leibniz Univ Hannover Inst Theoret Informat D-30167 Hannover NH Germany;
Univ Helsinki Dept Math & Stat FIN-00014 Helsinki Finland|Hasselt Univ Fac Sci B-3500 Hasselt Belgium;
Inclusion logic; model checking; validity problem; complexity; team semantics;
机译:命题和情态包含逻辑中的模型检查和有效性
机译:模态和命题相依逻辑的有效性和必然性
机译:模态和命题相依逻辑的有效性和必然性
机译:将CTL实时模型检查简化为一阶逻辑有效性检查
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:您的模型检查员准时吗?关于定时模态逻辑的模型检查的复杂性
机译:正态模态命题逻辑的后续计算