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 条

[41] Lower complexity bounds in justification logic
Buss, Samuel R.
Kuznets, Roman
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 888 - 905
[42] LOGIC OF DISCOVERY AND JUSTIFICATION IN REGULATORY GENETICS
SCHAFFNER, K
STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 1974, 4 (04): : 349 - 385
[43] Online justification for tabled logic programs
Pemmasani, G
Guo, HF
Dong, YF
Ramakrishnan, CR
Ramakrishnan, IV
FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 24 - 38
[44] Consistency and permission in deontic justification logic
Faroldi, Federico L. G.
Ghari, Meghdad
Lehmann, Eveline
Studer, Thomas
JOURNAL OF LOGIC AND COMPUTATION, 2022, 34 (04) : 640 - 664
[45] Rosenkranz's Logic of Justification and Unprovability
Heylen, Jan
JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (06) : 1243 - 1256
[46] Rosenkranz’s Logic of Justification and Unprovability
Jan Heylen
Journal of Philosophical Logic, 2020, 49 : 1243 - 1256
[47] Justification logic and type theory as formalizations of intuitionistic propositional logic
DeBoer, Neil J.
JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (08) : 1531 - 1557
[48] A Relevant Logic of Questions
Puncochar, Vit
JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (05) : 905 - 939
[49] Relevant logic programming
Bollen, A.W.
Journal of Automated Reasoning, 1991, 7 (04): : 563 - 585
[50] RELEVANT DEONTIC LOGIC
STELZNER, W
JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (02) : 193 - 216

← 1 2 3 4 5 →