On proving in epistemic logic

被引：0

作者：

Grzegorczyk, Dawid ^{[1
]}

Mulawka, Jan J. ^{[1
]}

Nieznanski, Edward ^{[2
]}

机构：

[1] Warsaw Univ Technol, Warsaw, Poland

[2] Cardinal Stefan Wyszyliski Univ, Warsaw, Poland

来源：

PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2012 | 2012年 / 8454卷

关键词：

automated proving; epistemic logic; knowledge reasoning;

D O I：

10.1117/12.2000207

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

In this article there are presented a few methods of proving that can be adopted for epistemic logic. Those methods are used for proving sample thesis in a certain considered epistemic logic also described briefly in this work.

引用

页数：7

共 50 条

[1] Proving completeness by logic
Escoffier, B
Paschos, VT
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (02) : 151 - 161
[2] Intuitionistic logic as epistemic logic
Hintikka, J
[J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
[3] Intuitionistic Logic As Epistemic Logic
Jaakko Hintikka
[J]. Synthese, 2001, 127 : 7 - 19
[4] Epistemic Logic and the Problem of Epistemic Closure
Quadrellaro, Davide
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2018, 9 (02) : 138 - 151
[5] Epistemic Logic and the Problem of Epistemic Closure
Quadrellaro, Davide Emilio
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2016, 7 (02) : 3 - 16
[6] REDUCTION OF DOXASTIC LOGIC TO EPISTEMIC LOGIC
BACON, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 199
[7] Epistemic Logic: A Survey of the Logic of Knowledge
Mirus, Christopher V.
[J]. REVIEW OF METAPHYSICS, 2007, 60 (04): : 878 - 882
[8] Epistemic logic: A survey of the logic of knowledge
Battaly, Heather
[J]. MIND, 2008, 117 (465) : 205 - 210
[9] Dynamic epistemic logic in update logic
Aucher, Guillaume
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
[10] A Generic Logic for Proving Linearizability
Khyzha, Artem
Gotsman, Alexey
Parkinson, Matthew
[J]. FM 2016: FORMAL METHODS, 2016, 9995 : 426 - 443

← 1 2 3 4 5 →