Justification Awareness Models

被引：8

作者：

Artemov, Sergei ^{[1
]}

机构：

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

来源：

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018) | 2018年 / 10703卷

关键词：

Modal logic; Justification logic; Epistemology; Knowledge; Belief; LOGIC;

D O I：

10.1007/978-3-319-72056-2_2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Justification Awareness Models, JAMs, incorporate 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. JAMs naturally include major justification models, Kripke models and, in addition, represent situations with multiple possibly fallible justifications. As an example, we build a JAM for Russell's well-known Prime Minister scenario which, in full generality, was previously off the scope of rigorous epistemic modeling.

引用

页码：22 / 36

页数：15

共 21 条

[11] Modal logics, justification logics, and realization [J].

Fitting, Melvin .

ANNALS OF PURE AND APPLIED LOGIC, 2016, 167 (08) :615-648

[12] Possible world semantics for first-order logic of proofs [J].

Fitting, Melvin .

ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) :225-240

[13]

Gettier EL., 1963, Analysis, V23, P121, DOI [DOI 10.2307/3326922, 10.1093/analys/23.6.121]

[14]

Krupski V. N., 1997, Logical Foundations of Computer Science. 4th International Symposium, LFCS '97. Proceedings, P167

[15] On the Sharpness and the Single-Conclusion Property of Basic Justification Models [J].

Krupski, Vladimir N. .

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 :211-220

[16]

Krupski VN, 2002, ANN PURE APPL LOGIC, V113, P181, DOI 10.1016/S0168-0072(01)00058-6

[17]

Kuznets R., 2012, ADV MODAL LOGIC, V9, P437

[18]

Mkrtychev A., 1997, Logical Foundations of Computer Science. 4th International Symposium, LFCS '97. Proceedings, P266

[19]

Russell B., 1912, The Problems of Philosophy

[20]

Sedlr Igor., 2013, Logical foundations of computer science, P307, DOI [10.1007/978-3-642-35722-022, DOI 10.1007/978-3-642-35722-022]

← 1 2 3 →