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.
机构:
Univ Caen Normandie, Lab Math Nicolas Oresme, BP 5186, F-14032 Caen, FranceUniv Caen Normandie, Lab Math Nicolas Oresme, BP 5186, F-14032 Caen, France
Behajaina, Angelot
Maleki, Roghayeh
论文数: 0引用数: 0
h-index: 0
机构:
Univ Regina, Dept Math & Stat, Regina, SK, CanadaUniv Caen Normandie, Lab Math Nicolas Oresme, BP 5186, F-14032 Caen, France
Maleki, Roghayeh
Razafimahatratra, Andriaherimanana Sarobidy
论文数: 0引用数: 0
h-index: 0
机构:
Univ Regina, Dept Math & Stat, Regina, SK, CanadaUniv Caen Normandie, Lab Math Nicolas Oresme, BP 5186, F-14032 Caen, France
Razafimahatratra, Andriaherimanana Sarobidy
AUSTRALASIAN JOURNAL OF COMBINATORICS,
2021,
81
: 474
-
479