Tableaux for Public Announcement Logic

著录项

• 来源
  《Journal of logic and computation》 |2010年第1期|55-76|共22页
• 作者

  PHILIPPE BALBIANI; HANS VAN DITMARSCH; ANDREAS HERZIG; TIAGO DE LIMA;

  展开▼
• 作者单位

  Universite de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse, CEDEX 9, France;

  University of Otago, Computer Science, PO Box 56 9054 Dunedin, New Zealand and Universite de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse CEDEX 9, France;

  Universite de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse CEDEX 9, France;

  Eindhoven University of Technology, Department of Industrial Engineering and Innovation Sciences, PO Box 513, 5600 MB EINDHOVEN, The Netherlands;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  analytic tableaux; dynamic epistemic logics; public announcement logic; knowledge representation and reasoning; multi-agent systems;

  机译：分析表动态认知逻辑;公告逻辑;知识表示和推理;多代理系统;