5 search results - page 1 / 1 » Self-Referential Justifications in Epistemic Logic |
MST
2010
12 years 11 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
CSL
2006
Springer
13 years 8 months ago
2006
Springer
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
BIRTHDAY
2010
Springer
13 years 2 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
SYNTHESE
2010
12 years 11 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...