REDUCTION OF DOXASTIC LOGIC TO EPISTEMIC LOGIC

被引：0

作者：

BACON, J

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：199 / 199

页数：1

共 50 条

[41] Epistemic Logic.
Demey, Lorenz
[J]. TIJDSCHRIFT VOOR FILOSOFIE, 2011, 73 (03): : 596 - 598
[42] CHISHOLMS EPISTEMIC LOGIC
IMLAY, RA
[J]. PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1969, 30 (02) : 290 - 293
[43] An Epistemic Strategy Logic
Huang, Xiaowei
van der Meyden, Ron
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (04)
[44] On proving in epistemic logic
Grzegorczyk, Dawid
Mulawka, Jan J.
Nieznanski, Edward
[J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2012, 2012, 8454
[45] Epistemic Logic and the Problem of Epistemic Closure
Quadrellaro, Davide
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2018, 9 (02) : 138 - 151
[46] Epistemic Logic and the Problem of Epistemic Closure
Quadrellaro, Davide Emilio
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2016, 7 (02) : 3 - 16
[47] Dynamic doxastic logic: why, how, and where to?
Hannes Leitgeb
Krister Segerberg
[J]. Synthese, 2007, 155 : 167 - 190
[48] Conditional Doxastic Logic with Oughts and Concurrent Upgrades
Ciuni, Roberto
[J]. LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 299 - 313
[49] Dynamic doxastic logic: why, how, and where to?
Leitgeb, Hannes
Segerberg, Krister
[J]. SYNTHESE, 2007, 155 (02) : 167 - 190
[50] A Data Symmetry Reduction Technique for Temporal-epistemic Logic
Cohen, Mika
Dam, Mads
Lomuscio, Alessio
Qi, Hongyang
[J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 69 - 83