A tableau method for public announcement logics

被引：0
|
作者：
Balbiani, Philippe [1 ]
van Ditmarsch, Hans [2 ]
Herzigi, Andreas [1 ]
de Lima, Tiago [1 ]
机构：
[1] Inst Rech Informat Toulouse, Toulouse, France
[2] Univ Otago, Comp Sci, Dunedin, New Zealand
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS | 2007年 / 4548卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose a labelled tableau-calculus for this logic. We also present an extension of the calculus for a logic of arbitrary announcements.
引用
收藏
页码：43 / +
页数：2
相关论文
共 50 条
  • [31] ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
    Linh Anh Nguyen
    Andrzej Szałas
    Studia Logica, 2011, 98 : 387 - 428
  • [32] Reasoning of Satisfiability Based on Tableau-algorithms in Description Logics
    Zhang, Yajiang
    Zhang, Taifa
    2011 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND APPLICATIONS, 2011, : 137 - 140
  • [33] Tableau systems for logics of subinterval structures over dense orderings
    Bresolin, Davide
    Goranko, Valentin
    Montanari, Angelo
    Sala, Pietro
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 73 - +
  • [34] A tableau calculus for multimodal logics and some (un)decidability results
    Baldoni, M
    Giordano, L
    Martelli, A
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 44 - 59
  • [35] A tableau algorithm for description logics with concrete domains and general TBoxes
    Lutz, Carsten
    Miličić, Maja
    Journal of Automated Reasoning, 2007, 38 (1-3): : 227 - 259
  • [36] Using tableau to decide expressive description logics with role negation
    Schmidt, Renate A.
    Tishkovsky, Dmitry
    SEMANTIC WEB, PROCEEDINGS, 2007, 4825 : 438 - +
  • [37] A tableau algorithm for description logics with concrete domains and general TBoxes
    Lutz, Carsten
    Milicic, Maja
    JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 227 - 259
  • [38] A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
    Carsten Lutz
    Maja Miličić
    Journal of Automated Reasoning, 2007, 38 : 227 - 259
  • [39] Design of the Tableau Reasoner TGC2 for Description Logics
    Linh Anh Nguyen
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (08) : 1315 - 1333
  • [40] A Boolean pruning method for improving tableau reasoning efficiency in first-order multiple-valued logics
    Liu, Quan
    Cui, Zhi-Ming
    Sun, Ji-Gui
    Yu, Wan-Jun
    PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 2548 - +
12345