Tableaux for Non-normal Public Announcement Logic

被引:0
|
作者
Ma, Minghui [1 ]
Sano, Katsuhiko [2 ]
Schwarzentruber, Francois [3 ]
Velazquez-Quesada, Fernando R. [4 ]
机构
[1] Southwest Univ, Ctr Study Log & Intelligence, Chongqing, Peoples R China
[2] Japan Adv Inst Sci & Technol, Sch Informat Sci, Tokyo, Japan
[3] ENS Rennes, F-35170 Bruz, France
[4] Univ Seville, Grp Log Lenguaje & Informac, Seville, Spain
来源
LOGIC AND ITS APPLICATIONS, ICLA 2015 | 2015年 / 8923卷
关键词
MODAL-LOGICS;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper presents a tableau calculus for two semantic interpretations of public announcements over monotone neighbourhood models: the intersection and the subset semantics, developed by Ma and Sano. We show that both calculi are sound and complete with respect to their corresponding semantic interpretations and, moreover, we establish that the satisfiability problem of this public announcement extensions is NP-complete in both cases. The tableau calculi has been implemented in Lotrecscheme.
引用
收藏
页码:132 / 145
页数:14
相关论文
共 50 条
  • [31] ON SIMULATING NON-NORMAL DISTRIBUTIONS
    TADIKAMALLA, PR
    PSYCHOMETRIKA, 1980, 45 (02) : 273 - 279
  • [32] NON-NORMAL BLASCHKE QUOTIENTS
    YAMASHITA, S
    PACIFIC JOURNAL OF MATHEMATICS, 1982, 101 (01) : 247 - 254
  • [33] VALUE CONFORMITY IN NORMAL AND NON-NORMAL GROUPS
    HOLDER, WB
    JOURNAL OF SOCIAL PSYCHOLOGY, 1958, 48 (01): : 147 - 154
  • [34] On constructing normal and non-normal Cayley graphs
    Xu, Yian
    DISCRETE MATHEMATICS, 2017, 340 (12) : 2972 - 2977
  • [35] Sequential sampling of normal and non-normal populations
    Robinson, AP
    Burk, TE
    CANADIAN JOURNAL OF FOREST RESEARCH-REVUE CANADIENNE DE RECHERCHE FORESTIERE, 1998, 28 (05): : 660 - 664
  • [36] NON-NORMAL BIVARIATE DISTRIBUTIONS WITH NORMAL MARGINALS
    KOWALSKI, CJ
    AMERICAN STATISTICIAN, 1973, 27 (03): : 103 - 106
  • [37] Extended ASP Tableaux and rule redundancy in normal logic programs
    Jarvisalo, Matti
    Oikarinen, Emilia
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 : 691 - 716
  • [38] Extended ASP Tableaux and rule redundancy in normal logic programs
    Jarvisalo, Matti
    Oikarinen, Emilia
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 134 - +
  • [39] Transverse instability for non-normal parameters
    Ashwin, P
    Covas, E
    Tavakol, R
    NONLINEARITY, 1999, 12 (03) : 563 - 577
  • [40] On non-normal del Pezzo surfaces
    Abe, M
    Furushima, M
    MATHEMATISCHE NACHRICHTEN, 2003, 260 : 3 - 13