|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2020, Number 1, Pages 71–75
(Mi vmumm4307)
|
|
|
|
Short notes
Exact justification logics
V. N. Krupski Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
The sharpness property of justification models is essential for formal analysis of epistemic scenarios like Russell's Prime Minister Example. The problem to axiomatize this property in the the propositional justification language was left opened. We propose the solution and provide complete axiomatizations for classes of all sharp basic justification models and of all justification models that are sharp with respect to two operations: application and plus.
Key words:
epistemic logic, justification logic, basic justification model, sharpness, completeness.
Received: 27.02.2019
Citation:
V. N. Krupski, “Exact justification logics”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 1, 71–75; Moscow University Mathematics Bulletin, 75:1 (2020), 49–52
Linking options:
https://www.mathnet.ru/eng/vmumm4307 https://www.mathnet.ru/eng/vmumm/y2020/i1/p71
|
Statistics & downloads: |
Abstract page: | 86 | Full-text PDF : | 14 | References: | 14 | First page: | 2 |
|