机译:时空逻辑的博弈论语义学
Stockholm Univ, Dept Philosophy, Univ Vagen 10D, S-10691 Stockholm, Sweden;
Univ Bremen, FB03,Bibliothekstr 1, D-28359 Bremen, Germany;
Univ Tampere, Fac Nat Sci, Tampere 33014, Finland;
Logic and game theory; logics for agents and multiagent systems; argumentation-based dialogue and protocols;
机译:具有有限界限语义的交替时间逻辑ATL
机译:在机构的战略性STIT逻辑中嵌入时空逻辑
机译:具有线性过去的交替时间逻辑
机译:交替时间逻辑的游戏 - 理论语义
机译:德语时间语义:三维时态逻辑和GPSG片段。
机译:左颞叶的解开语义组成和语义关联
机译:交替时间时态逻辑的博弈论语义