Justification awareness

被引：4

作者：

Artemov, Sergei ^{[1
]}

机构：

[1] CUNY, Grad Ctr, 365 Fifth Ave, New York, NY 10016 USA

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2020年 / 30卷 / 08期

关键词：

LOGIC;

D O I：

10.1093/logcom/exaa043

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We offer a new semantic approach to formal epistemology that incorporates two principal ideas: (i) justifications are prime objects of the model: knowledge and belief are defined evidence-based concepts; (ii) awareness restrictions are applied to justifications rather than to propositions, which allows for the maintaining of desirable closure properties. The resulting structures, Justification Awareness Models, JAMs, naturally include major justification models, Kripke models and, in addition, represent situations with multiple possibly fallible justifications which, in full generality, were previously off the scope of rigorous epistemic modeling.

引用

页码：1431 / 1446

页数：16

共 29 条

[1]

[Anonymous], 1995, Cambridge Tracts in Theoretical Computer Science

[2]

Artemov, 2017, EPISTEMIC MODELING J

[3]

Artemov, 2016, KNOWING MODEL

[4] Introducing justification into epistemic logic [J].

Artemov, S ;

Nogina, E .

JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (06) :1059-1073

[5]

Artemov S., 2019, Justification Logic: Reasoning with Reasons

[6]

Artemov S., 1995, 9529 MSI CORN U

[7] Observable Models [J].

Artemov, Sergei .

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 :12-26

[8] Justification Awareness Models [J].

Artemov, Sergei .

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 :22-36

[9] THE LOGIC OF JUSTIFICATION [J].

Artemov, Sergei .

REVIEW OF SYMBOLIC LOGIC, 2008, 1 (04) :477-513

[10] The Ontology of Justifications in the Logical Setting [J].

Artemov, Sergei N. .

STUDIA LOGICA, 2012, 100 (1-2) :17-30

← 1 2 3 →