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 条
  • [41] On non-normal subgroup perfect codes
    Behajaina, Angelot
    Maleki, Roghayeh
    Razafimahatratra, Andriaherimanana Sarobidy
    AUSTRALASIAN JOURNAL OF COMBINATORICS, 2021, 81 : 474 - 479
  • [42] METHOD FOR SIMULATING NON-NORMAL DISTRIBUTIONS
    FLEISHMAN, AI
    PSYCHOMETRIKA, 1978, 43 (04) : 521 - 532
  • [43] Bol loops with non-normal nuclei
    C. G. Devillier
    Archiv der Mathematik, 2003, 81 : 383 - 384
  • [44] LINEAR REGRESSION WITH NON-NORMAL ERRORS
    Li, Na
    Vrbik, Jan
    ADVANCES AND APPLICATIONS IN STATISTICS, 2018, 53 (02) : 153 - 164
  • [45] On the classification of non-normal cubic hypersurfaces
    Lee, Wanseok
    Park, Euisung
    Schenzel, Peter
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2011, 215 (08) : 2034 - 2042
  • [46] Analysis of Covariance with Non-normal Errors
    Senoglu, Birdal
    Avcioglu, Mubeccel Didem
    INTERNATIONAL STATISTICAL REVIEW, 2009, 77 (03) : 366 - 377
  • [47] PAIR OPERATORS OF NON-NORMAL TYPE
    SILBERMANN, B
    MATHEMATISCHE NACHRICHTEN, 1974, 60 (1-6) : 79 - 95
  • [48] Non-normal affine monoid algebras
    Lukas Katthän
    Manuscripta Mathematica, 2015, 146 : 223 - 233
  • [49] MaxVaR for non-normal and heteroskedastic returns
    Bhattacharyya, Malay
    Misra, Nityanand
    Kodase, Bharat
    QUANTITATIVE FINANCE, 2009, 9 (08) : 925 - 935
  • [50] Non-Normal Modal Description Logics
    Dalmonte, Tiziano
    Mazzullo, Andrea
    Ozaki, Ana
    Troquard, Nicolas
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 306 - 321
12345