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

共 15 条

[1] BALBIANI P, 2007, IN PRESS P TARK
[2] BALTAG A, 1999, SENR9922
[3] DEBOER M, 2006, THESIS U GRONINGEN D
[4] FITTING M, 1983, PROFF METHODS MODAL
[5] GERBRANDY J, 1999, THESIS U AMSTERDAM A
[6] A GUIDE TO COMPLETENESS AND COMPLEXITY FOR MODAL-LOGICS OF KNOWLEDGE AND BELIEF
HALPERN, JY
MOSES, Y
[J]. ARTIFICIAL INTELLIGENCE, 1992, 54 (03) : 319 - 379
[7] Herzig A, 2006, LECT NOTES COMPUT SC, V4140, P409
[8] KOOI B, 2007, IN PRESS J APPL NON
[9] LETZ R, 1999, HDB TABLEAU METHODS
[10] Lutz C., 2006, 5 INT JOINT C AUTONO, P137, DOI DOI 10.1145/1160633.1160657

← 1 2 →