Relevant justification logic

被引：0

作者：

Savić, Nenad ^{[1
]}

Studer, Thomas ^{[1
]}

机构：

[1] Institute of Computer Science, University of Bern, Switzerland

来源：

Journal of Applied Logics | 2019年 / 6卷 / 02期

关键词：

Axiomatization - Justification logic - Relevant logic - Sound and complete - Soundness and completeness;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We introduce a relevant justification logic, RJ4, which is a combination of the relevant logic R and the justification logic J4. We describe the corresponding class of models, provide the axiomatization and prove that our logic is sound and complete. © 2019, College Publications. All rights reserved.

引用

页码：395 / 410

共 50 条

[1] RELEVANT JUSTIFICATION LOGIC
Savic, Nenad
Studer, Thomas
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (02): : 395 - 410
[2] THE LOGIC OF JUSTIFICATION
Artemov, Sergei
REVIEW OF SYMBOLIC LOGIC, 2008, 1 (04): : 477 - 513
[3] Justification Logic
Artemov, Sergei
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 1 - 4
[4] Justification logic for constructive modal logic
Kuznets, Roman
Marin, Sonia
Straßburger, Lutz
Journal of Applied Logics, 2021, 8 (08): : 2313 - 2332
[5] JUSTIFICATION LOGIC FOR CONSTRUCTIVE MODAL LOGIC
Kuznets, Roman
Marin, Sonia
Strassburger, Lutz
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2313 - 2332
[6] Probabilistic justification logic
Kokkinis, Ioannis
Ognjanovic, Zoran
Studer, Thomas
JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 257 - 280
[7] ANALOGY - JUSTIFICATION FOR LOGIC
SACKSTEDER, W
PHILOSOPHY AND RHETORIC, 1979, 12 (01) : 21 - 40
[8] Probabilistic Justification Logic
Kokkinis, Ioannis
Ognjanovic, Zoran
Studer, Thomas
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 174 - 186
[9] The logic of epistemic justification
Smith, Martin
SYNTHESE, 2018, 195 (09) : 3857 - 3875
[10] A LOGIC OF JUSTIFICATION AND TRUTHMAKING
Giordani, Alessandro
REVIEW OF SYMBOLIC LOGIC, 2013, 6 (02): : 323 - 342

← 1 2 3 4 5 →