{"id":1772,"date":"2013-01-01T19:07:41","date_gmt":"2013-01-01T19:07:41","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1772"},"modified":"2013-01-11T13:57:58","modified_gmt":"2013-01-11T13:57:58","slug":"lira-session-audrey-yap","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2013\/01\/lira-session-audrey-yap\/","title":{"rendered":"LIRa session: Audrey Yap"},"content":{"rendered":"<p>On January 17, we will have a we will have a LIRa session with Audrey Yap.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<p>Speaker:\u00a0<strong><strong>Audrey Yap <\/strong><\/strong>(University of Victoria)<br \/>\nTitle:\u00a0<strong>Time and Dynamics in Epistemic Logic<\/strong><br \/>\nDate and Time: Thursday, January 17, 2013,\u00a0<strong>15:30-17:30<\/strong><br \/>\nVenue: Science Park 904, Room\u00a0<strong>C1.112<\/strong><\/p>\n<p><strong>Abstract:<\/strong> Epistemic Temporal Logic (ETL) and Dynamic Epistemic Logic (DEL) are both systems that can represent agents&#8217; beliefs over time, or as events take place. Several people have shown that the two frameworks can be connected by producing ETL models dynamically. However, it turns out that the addition of dynamics to a logic with an explicit representation of time such as ETL raises several key modeling questions. These questions and their potential answers provide important conceptual background to work that we have done in developing a system of Dynamic Epistemic Temporal Logic.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On January 17, we will have a we will have a LIRa session with Audrey Yap.<br \/>\nEveryone is cordially invited!<br \/>\nSpeaker:\u00a0Audrey Yap (University of Victoria)<br \/>\nTitle:\u00a0Time and Dynamics in Epistemic Logic<br \/>\nDate and Time: Thursday, January 17, 2013,\u00a015:30-17:30<br \/>\nVenue: Science Park 904, Room\u00a0C1.112<br \/>\nAbstract: Epistemic Temporal Logic (ETL) and Dynamic Epistemic Logic (DEL) are both systems that can represent agents&#8217; beliefs [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1772","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\/1772","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=1772"}],"version-history":[{"count":11,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1772\/revisions"}],"predecessor-version":[{"id":1820,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1772\/revisions\/1820"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1772"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1772"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1772"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}