LogiCIC/LIRa Session: Bryan Renne

On Thursday, May 15, we will have a joint LogiCIC/LIRa session with Bryan Renne.

Everyone is cordially invited!

Speaker: Bryan Renne (University of Amsterdam/University of British Columbia), http://bryan.renne.org/
Title: Dynamic Justification Logic for Formal Epistemology
Date and Time: Thursday, May 15, 2014, 15:30-17:00
Venue: Science Park 107, Room F1.15

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.

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