Resolution Calculi for Non-normal Modal Logics

被引：1

作者：

Pattinson, Dirk ^{[1
]}

Olivetti, Nicola ^{[2
]}

Nalon, Claudia ^{[3
]}

机构：

[1] Australian Natl Univ, Sch Comp, Canberra, ACT, Australia

[2] Aix Marseille Univ, CNRS, LIS, Marseille, France

[3] Univ Brasilia, Dept Comp Sci, Brasilia, DF, Brazil

来源：

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023 | 2023年 / 14278卷

关键词：

Modal Logic; Automated Reasoning; Resolution;

D O I：

10.1007/978-3-031-43513-3_18

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present resolution calculi for the cube of classical non-normal modal logics. The calculi are based on a simple clausal form that comprises both local and global clauses. Any formula can be efficiently transformed into a small set of clauses. The calculi contain uniform rules and provide a decision procedure for all logics. Their completeness is based on a new and crucial notion of inconsistency predicate, needed to ensure the usual closure properties of maximal consistent sets. As far as we know the calculi presented here are the first resolution calculi for this class of logics.

引用

页码：322 / 341

页数：20

共 50 条

[31] Graphical Sequent Calculi for Modal Logics
Ma, Minghui
Pietarinen, Ahti-Veikko
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (243): : 91 - 103
[32] Local Intuitionistic Modal Logics and Their Calculi
Balbiani, Philippe
Gao, Han
Gencer, Cigdem
Olivetti, Nicola
AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 78 - 96
[33] Gamma graph calculi for modal logics
Ma, Minghui
Pietarinen, Ahti-Veikko
SYNTHESE, 2018, 195 (08) : 3621 - 3650
[34] Gamma graph calculi for modal logics
Minghui Ma
Ahti-Veikko Pietarinen
Synthese, 2018, 195 : 3621 - 3650
[35] EPISTEMIC LOGIC, SKEPTICISM, AND NON-NORMAL MODAL LOGIC
SCHOTCH, PK
JENNINGS, RE
PHILOSOPHICAL STUDIES, 1981, 40 (01) : 47 - 67
[36] 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
[37] Explaining SLDNF resolution with non-normal defaults
Casanova, M.A., 1600, (36):
[38] On Graph Calculi for Multi-modal Logics
Veloso, Paulo A. S.
Veloso, Sheila R. M.
Benevides, Mario R. F.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 231 - 252
[39] Modular Sequent Calculi for Classical Modal Logics
Gilbert, David R.
Maffezioli, Paolo
STUDIA LOGICA, 2015, 103 (01) : 175 - 217
[40] Modular Sequent Calculi for Classical Modal Logics
David R. Gilbert
Paolo Maffezioli
Studia Logica, 2015, 103 : 175 - 217

← 1 2 3 4 5 →