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 条
  • [41] TOWARDS AN EFFICIENT TABLEAU PROOF PROCEDURE FOR MULTIPLE-VALUED LOGICS
    HAHNLE, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 248 - 260
  • [42] CUT ELIMINATION THEOREMS FOR PROOF TABLEAU FORMULATIONS OF MODAL AND RELEVANT LOGICS
    MCROBBIE, MA
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (02) : 512 - 512
  • [43] Using Tableau to Decide Description Logics with Full Role Negation and Identity
    Schmidt, Renate A.
    Tishkovsky, Dmitry
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (01)
  • [44] A TABLEAU-LIKE PROOF PROCEDURE FOR NORMAL MODAL-LOGICS
    OGNJANOVIC, Z
    THEORETICAL COMPUTER SCIENCE, 1994, 129 (01) : 167 - 186
  • [45] A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics
    Wang, Zhuxiao
    Guan, Zhitao
    Li, Wei
    Wu, Kehe
    Guo, Jing
    Tian, Guanhua
    INFORMATION COMPUTING AND APPLICATIONS, PT 1, 2012, 307 : 192 - +
  • [46] Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
    Golinska-Pilarek, Joanna
    Huuskonen, Taneli
    Munoz-Velasco, Emilio
    ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (02) : 409 - 427
  • [47] Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
    Mauro Ferrari
    Studia Logica, 1997, 59 (3) : 303 - 330
  • [48] Almost duplication-free tableau calculi for propositional Lax logics
    Avellone, A
    Ferrari, M
    THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1996, 1071 : 48 - 64
  • [49] A tableau calculus with automaton-labelled formulae for regular grammar logics
    Goré, R
    Nguyen, LA
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 138 - 152
  • [50] Towards an efficient tableau proof procedure for multiple-valued logics
    Haehnle, Reiner
    Workshop on Computer Science Logic, 1990,
12345