348 search results - page 2 / 70 » Justification logics and hybrid logics |
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...
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...
ENTCS
2011
12 years 8 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
MI
1994
13 years 6 months ago
1994
