Justifications, Awareness and Epistemic Dynamics

Igor Sedlár. Justifications, Awareness and Epistemic Dynamics. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 307-318, Springer, 2013. [doi]

Abstract

Abstract is missing.