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 条
  • [1] Tableaux for Public Announcement Logic
    Balbiani, Philippe
    Van Ditmarsch, Hans
    Herzig, Andreas
    De Lima, Tiago
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 55 - 76
  • [2] Labelled tableaux for non-normal modal logics
    Governatori, G
    Luppi, A
    AI(ASTERISK)IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 119 - 130
  • [3] Explicit Non-normal Modal Logic
    Rohani, Atefeh
    Studer, Thomas
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 64 - 81
  • [4] EPISTEMIC LOGIC, SKEPTICISM, AND NON-NORMAL MODAL LOGIC
    SCHOTCH, PK
    JENNINGS, RE
    PHILOSOPHICAL STUDIES, 1981, 40 (01) : 47 - 67
  • [5] Interpretations of intuitionist logic in non-normal modal logics
    Colin Oakes
    Journal of Philosophical Logic, 1999, 28 : 47 - 60
  • [6] EVOLUTIONARY EPISTEMOLOGY AND NON-NORMAL MODAL LOGIC OF KNOWLEDGE
    Lobovikov, Vladimir O.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2018, 41 : 5 - 14
  • [7] Interpretations of intuitionist logic in non-normal modal logics
    Oakes, C
    JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (01) : 47 - 60
  • [8] Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
    Demey, Lorenz
    AXIOMS, 2021, 10 (03)
  • [9] ON NON-NORMAL NUMBERS
    COLEBROO.CM
    KEMPERMA.JH
    PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1968, 71 (01): : 1 - &
  • [10] NON-NORMAL PULSATION
    Yecko, P.
    Pohlmeyer, J.
    NONLINEAR PULSATIONS AND HYDRODYNAMICS OF CEPHEIDS, 2009, 38 : 25 - 32
12345