机译:在机构的战略性STIT逻辑中嵌入时空逻辑
Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands;
modal logic; multi-agent systems; agency; strategic choice; philosophical foundations;
机译:在交替时间逻辑中完善战略能力
机译:交替时间逻辑中的持久战略推理
机译:协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
机译:定性行动理论时空逻辑的语义学比较与代理的Kutschera-Belnap方法。
机译:在动态认知逻辑中添加时间逻辑。
机译:危地马拉总统转型期间政府官员的终端逻辑行为与战略叛逃:对食品和营养安全政策可持续性的影响
机译:1个交替时间逻辑中的顽强战略推理