Evidence reconstruction of epistemic modal logic S5

被引：0

作者：

Rubtsova, Natalia ^{[1
]}

机构：

[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Dept Math Log, Moscow 119992, Russia

来源：

COMPUTER SCIENCE - THEORY AND APPLICATIONS | 2006年 / 3967卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We introduce the logic of proofs whose modal counterpart is the modal logic S5. The language of Logic of Proofs LP is extended by a new unary operation of negative checker "?". We define Kripke-style models for the resulting logic in the style of Fitting models and prove the corresponding Completeness theorem. The main result is the Realization theorem for the modal logic S5.

引用

页码：313 / 321

页数：9

共 50 条

[1] On Satisfiability Problem in Modal Logic S5
Salhi, Yakoub
[J]. PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 948 - 955
[2] Knowledge Compilation in the Modal Logic S5
Bienvenu, Meghyn
Fargier, Helene
Marquis, Pierre
[J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 261 - 266
[3] A deep inference system for the modal logic S5
Stouppa P.
[J]. Studia Logica, 2007, 85 (2) : 199 - 214
[4] Rooted Hypersequent Calculus for Modal Logic S5
Mohammadi, Hamzeh
Aghaei, Mojtaba
[J]. LOGICA UNIVERSALIS, 2023, 17 (03) : 269 - 295
[5] Rooted Hypersequent Calculus for Modal Logic S5
Hamzeh Mohammadi
Mojtaba Aghaei
[J]. Logica Universalis, 2023, 17 : 269 - 295
[6] Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5
Borg, AnneMarie
Arieli, Ofer
[J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1097 - 1104
[7] Ground nonmonotonic modal logic S5:: New results
Galindo, MO
Pérez, JAN
Ramírez, JRA
Macías, VB
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (05) : 787 - 813
[8] Two decidable classes of formulas of the modal logic S5
Norgela S.
[J]. Lithuanian Mathematical Journal, 2000, 40 (3) : 269 - 276
[9] Modal Logic S5 Satisfiability in Answer Set Programming
Alviano, Mario
Batsakis, Sotiris
Baryannis, George
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (05) : 527 - 542
[10] LOGICAL CONSEQUENCE IN MODAL LOGIC - NATURAL DEDUCTION IN S5
CORCORAN, J
WEAVER, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 639 - &

← 1 2 3 4 5 →