348 search results - page 2 / 70 » Justification logics and hybrid logics |
BIRTHDAY
2010
Springer
14 years 7 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
14 years 4 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...
82
Voted
ENTCS
2011
14 years 1 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...
74
Voted
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
MI
1994
14 years 10 months ago
1994
