Univ Helsinki, Dept Math & Stat, POB 68, FIN-00014 Helsinki, Finland;
Leibniz Univ Hannover, Inst Theoret Informat, Appelstr 4, D-30167 Hannover, Germany;
Christian Albrechts Univ Kiel, Inst Informat, D-24098 Kiel, Germany;
Leibniz Univ Hannover, Inst Theoret Informat, Appelstr 4, D-30167 Hannover, Germany;
Dependence logic; team semantics; independence; expressivity over finite models; computational complexity;
机译:独立友好的模态逻辑和真正的并发
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:重新校准从听觉到触觉的转移:模态独立作为解剖独立的特例
机译:关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:有效干预措施提高年迈的日常生活活动的独立性:系统审查和逻辑模型
机译:模态独立逻辑