{"id":2340,"date":"2014-05-08T16:42:53","date_gmt":"2014-05-08T16:42:53","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2340"},"modified":"2014-05-09T17:49:23","modified_gmt":"2014-05-09T17:49:23","slug":"logiciclira-session-bryan-renne","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2014\/05\/logiciclira-session-bryan-renne\/","title":{"rendered":"LogiCIC\/LIRa Session: Bryan Renne"},"content":{"rendered":"<p>On Thursday,\u00a0May 15,<strong> <\/strong>we will have a joint LogiCIC\/LIRa session with\u00a0<strong>Bryan Renne<\/strong>.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<div>\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: Thursday, May 15, 2014,\u00a0<strong>15:30-17: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<\/div>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On Thursday,\u00a0May 15, we will have a joint LogiCIC\/LIRa session with\u00a0Bryan Renne.<br \/>\nEveryone is cordially invited!<\/p>\n<p>Speaker:\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: Thursday, May 15, 2014,\u00a015:30-17:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nAbstract:<br \/>\nIn this talk, which covers joint work with Alexandru Baltag and Sonja Smets (both ILLC Amsterdam), I will present [&#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-2340","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\/2340","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=2340"}],"version-history":[{"count":8,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2340\/revisions"}],"predecessor-version":[{"id":2411,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2340\/revisions\/2411"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2340"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2340"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2340"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}