{"id":2223,"date":"2014-02-12T13:06:17","date_gmt":"2014-02-12T13:06:17","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2223"},"modified":"2014-02-19T14:43:54","modified_gmt":"2014-02-19T14:43:54","slug":"lira-session-bryan-renne","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2014\/02\/lira-session-bryan-renne\/","title":{"rendered":"CANCELLED LIRa Session: Bryan Renne"},"content":{"rendered":"<h2><strong><em>Due to unforeseen circumstances, the LIRa session of February 19 is unfortunately cancelled.<\/em><\/strong><\/h2>\n<p>&nbsp;<\/p>\n<p>On WEDNESDAY,\u00a0February 19,<strong> <\/strong>we will have a LIRa session with<strong> Bryan Renne<\/strong>. Everyone is cordially invited!<\/p>\n<p>Speaker:\u00a0<strong>Bryan Renne<\/strong> (University of Amsterdam\/University of British Columbia),\u00a0<a href=\"http:\/\/bryan.renne.org\/\" target=\"_blank\">http:\/\/bryan.renne.org\/<\/a><br \/>\nTitle:\u00a0<strong>Dynamic Justification Logic for Formal Epistemology<\/strong><br \/>\nDate and Time: Wednesday, February 19, 2014,\u00a0<strong>16:30-18:00<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p>Abstract:<br \/>\nIn 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.\u00a0 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&#8217;s &#8220;Theory of Knowledge,&#8221; 2nd ed., Westview Press, 2000.<\/p>\n<p>References:<br \/>\n1. (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\u201381, 2014.<br \/>\n=&gt; PDF: http:\/\/bryan.renne.org\/docs\/brs-ConclusiveEvidence.pdf<br \/>\n=&gt; DOI: http:\/\/dx.doi.org\/10.1016\/j.apal.2013.07.005<\/p>\n<p>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\u2013190, Buenos Aires, Argentina. Springer-Verlag Berlin Heidelberg, 2012.<br \/>\n=&gt; PDF: http:\/\/bryan.renne.org\/docs\/brs-jbc-wollic2012.pdf<br \/>\n=&gt; DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-32621-9_13<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Due to unforeseen circumstances, the LIRa session of February 19 is unfortunately cancelled.<br \/>\n&nbsp;<br \/>\nOn WEDNESDAY,\u00a0February 19, we will have a LIRa session with Bryan Renne. Everyone is cordially invited!<br \/>\nSpeaker:\u00a0Bryan Renne (University of Amsterdam\/University of British Columbia),\u00a0http:\/\/bryan.renne.org\/<br \/>\nTitle:\u00a0Dynamic Justification Logic for Formal Epistemology<br \/>\nDate and Time: Wednesday, February 19, 2014,\u00a016:30-18:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nAbstract:<br \/>\nIn this talk, which covers joint [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-2223","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2223","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=2223"}],"version-history":[{"count":9,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2223\/revisions"}],"predecessor-version":[{"id":2262,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2223\/revisions\/2262"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2223"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2223"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}