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 条
  • [11] Coalgebraic Announcement Logics
    Carreiro, Facundo
    Gorin, Daniel
    Schroeder, Lutz
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 101 - 112
  • [12] Generalized tableau systems for intermediate propositional logics
    Avellone, A
    Miglioli, P
    Moscato, U
    Ornaghi, M
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 43 - 61
  • [13] Labelled Tableau Systems for Some Subintuitionistic Logics
    Minghui Ma
    Logica Universalis, 2019, 13 : 273 - 288
  • [14] A fibred tableau calculus for modal logics of agents
    Padmanabhan, Vineet
    Governatori, Guido
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 105 - +
  • [15] Synthesising Terminating Tableau Calculi for Relational Logics
    Schmidt, Renate A.
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 40 - 49
  • [16] Tableau Systems for Some Paraconsistent Modal Logics
    McGinnis, Casey
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 141 - 157
  • [17] A Tableau Calculus for Regular Grammar Logics with Converse
    Nguyen, Linh Anh
    Szalas, Andrzej
    AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 421 - 436
  • [18] BOOLEAN CONNEXIVE LOGICS Semantics and tableau approach
    Jarmuzek, Tomasz
    Malinowski, Jacek
    LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (03) : 427 - 448
  • [19] Labelled Tableau Systems for Some Subintuitionistic Logics
    Ma, Minghui
    LOGICA UNIVERSALIS, 2019, 13 (02) : 273 - 288
  • [20] Discriminator logics (Research announcement)
    Spinks, M.
    Bignall, R. J.
    Veroff, R.
    AUSTRALASIAN JOURNAL OF LOGIC, 2014, 11 (02) : 159 - 171
12345