TR-2007025: Public Communication in Justification Logic
暂无分享,去创建一个
[1] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[2] A. Baltag,et al. Logics for epistemic programs , 2004 .
[3] Jan van Eijck,et al. Common knowledge in update logics , 2005, TARK.
[4] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[5] Evangelia Antonakos. Justified and Common Knowledge: Limited Conservativity , 2007, LFCS.
[6] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[7] Sergei N. Artëmov,et al. On epistemic logic with justification , 2005, TARK.
[8] Barteld P. Kooi,et al. Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.
[9] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.
[10] Sergei N. Artëmov. Evidence-Based Common Knowledge , 2005 .
[11] Sergei N. Artëmov. Justified common knowledge , 2006, Theor. Comput. Sci..
[12] J. Hintikka. Knowledge and belief , 1962 .
[13] Sergei N. Artëmov,et al. Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..
[14] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[15] W. Hoek,et al. Dynamic Epistemic Logic , 2007 .
[16] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..