Abstract:
In this talk, which covers joint work with Alexandru Baltag and Sonja Smets (both ILLC Amsterdam), I will present progress toward a logical toolkit for reasoning about knowledge, belief, and evidence.  My goal will be to demonstrate in simple terms how our work can be applied to representing and reasoning about key aspects of Keith Lehrer’s “Theory of Knowledge,” 2nd ed., Westview Press, 2000.

References:
1. (with Alexandru Baltag and Sonja Smets) The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence. Annals of Pure and Applied Logic, 165(1):49–81, 2014.
=> PDF: http://bryan.renne.org/docs/brs-ConclusiveEvidence.pdf
=> DOI: http://dx.doi.org/10.1016/j.apal.2013.07.005

2. (with Alexandru Baltag and Sonja Smets) The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In L. Ong and R. de Queiroz, editors, Proceedings of the 19th Workshop of Logic, Language, Information and Computation (WoLLIC 2012), volume 7456 of Lecture Notes in Computer Science, pages 168–190, Buenos Aires, Argentina. Springer-Verlag Berlin Heidelberg, 2012.
=> PDF: http://bryan.renne.org/docs/brs-jbc-wollic2012.pdf
=> DOI: http://dx.doi.org/10.1007/978-3-642-32621-9_13