Branching-time temporal logics Alternating-time temporal logics; Finite-variable fragments Computational complexity; Semantic expressivity Satisfiability problem;
机译:具有有限界限语义的交替时间逻辑ATL
机译:强烈离散的线性阶上的时间间隔逻辑:表达性和复杂性
机译:时空逻辑的结合:表现力与复杂度
机译:分支和交替时间逻辑的复杂性和表达性,具有最多的许多变量
机译:有限词的一阶逻辑的表达性和简洁性。
机译:有限变量在Łukasiewicz逻辑中的统一
机译:单柜系统中模型检验分支和交替时间逻辑的复杂性