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 条
  • [1] A tableau method for inconsistency-adaptive logics
    Batens, D
    Meheus, J
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 127 - 142
  • [2] Shortcuts and dynamic marking in the tableau method for adaptive logics
    Batens D.
    Meheus J.
    Studia Logica, 2001, 69 (2) : 221 - 248
  • [3] A general tableau method for propositional interval temporal logics
    Goranko, V
    Montanari, A
    Sciavicco, G
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 102 - 116
  • [4] Tableau Metatheorem for Modal Logics
    Jarmuzek, Tomasz
    RECENT TRENDS IN PHILOSOPHICAL LOGIC, 2014, 41 : 103 - 126
  • [5] Tableau algorithms for description logics
    Baader, F
    Sattler, U
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 1 - 18
  • [6] Tableau systems for logics of formal inconsistency
    Carnielli, WA
    Marcos, J
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 848 - 852
  • [7] Optimal Tableau Algorithms for Coalgebraic Logics
    Gore, Rajeev
    Kupke, Clemens
    Pattinson, Dirk
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 114 - +
  • [8] A general tableau method for deciding description logics, modal logics and related first-order fragments
    Schmidt, Renate A.
    Tishkovsky, Dmitry
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 194 - 209
  • [9] Designing a Tableau Reasoner for Description Logics
    Linh Anh Nguyen
    ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING, 2015, 358 : 321 - 333
  • [10] An Overview of Tableau Algorithms for Description Logics
    Baader F.
    Sattler U.
    Studia Logica, 2001, 69 (1) : 5 - 40
12345