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 条

[31] Justification logic and audited computation
Bavera, Francisco
Bonelli, Eduardo
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 909 - 934
[32] The Sharpness Property of Justification Logic
Krupskii, V. N.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2020, 75 (01) : 49 - 52
[33] A logic of defeasible argumentation: Constructing arguments in justification logic
Pandzic, Stipe
ARGUMENT & COMPUTATION, 2022, 13 (01) : 3 - 47
[34] PHASE LOGIC IS BIOLOGICALLY RELEVANT LOGIC
STRONG, GW
BEHAVIORAL AND BRAIN SCIENCES, 1993, 16 (03) : 472 - 473
[35] Justification Logic and the Epistemic Contribution of Deduction
Hernandez, Nancy Abigail Nunez
Hernandez-Quiroz, Francisco
LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (03) : 381 - 402
[36] Justification Logic with Approximate Conditional Probabilities
Ognjanovic, Zoran
Savic, Nenad
Studer, Thomas
LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 681 - 686
[37] Online justification for tabled logic programs
Pemmasani, G
Guo, HF
Dong, YF
Ramakrishnan, CR
Ramakrishnan, IV
LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 500 - 501
[38] Justification Logic and History Based Computation
Bavera, Francisco
Bonelli, Eduardo
THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 337 - 351
[39] The Minimal System of Justification Logic with Names
Zhu, Rui
Liu, Xinwen
MODALITY, SEMANTICS AND INTERPRETATIONS: THE SECOND ASIAN WORKSHOP ON PHILOSOPHICAL LOGIC, 2015, : 179 - 188
[40] Simple Evidence Elimination in Justification Logic
Renne, Bryan
DYNAMIC FORMAL EPISTEMOLOGY, 2011, 351 : 127 - 149

← 1 2 3 4 5 →