{"id":2677,"date":"2015-03-04T15:24:25","date_gmt":"2015-03-04T14:24:25","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2677"},"modified":"2015-03-05T12:48:40","modified_gmt":"2015-03-05T11:48:40","slug":"lira-session-roberto-ciuni-3","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2015\/03\/lira-session-roberto-ciuni-3\/","title":{"rendered":"LogiCIC\/LIRa Session: Roberto Ciuni"},"content":{"rendered":"<p>On Friday, March 6, 2015, we will have a LogiCIC\/LIRa session with\u00a0<strong>Roberto Ciuni<\/strong>.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<p>Speaker:\u00a0<strong>Roberto Ciuni<\/strong><\/p>\n<p>Date and Time: Friday, March 6, 2015,\u00a0<strong>14:30-16:00<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p>Title: <strong>Plausibility Trees and Simple Future<\/strong><\/p>\n<p style=\"text-align: justify;\"><strong>Abstract<\/strong>. In this talk I introduce a new formal setting for simple-future sentences in branching time. The new setting combines a quantification over histories\u2013which is available in all branching-time logics\u2013together with a plausibility relation between histories, so that a sentence like (a) \u2018There will be a sea battle\u2019 is taken to mean \u2018There is a history h such that for all the histories h\u2019 that are equally or more plausible than h, there is a later moment where it is the case that there is a sea battle\u2019 (the implicit condition here is that we consider histories passing through the moment of valuation.) I present the new semantics against the background of current branching-time semantics, and I show that the new setting can help overcome some conceptual problems current branching-time semantics have in modelling \u2018future contingents\u2019 \u2013 that is simple-future sentences about states of affairs that are neither impossible nor inevitable.<\/p>\n<hr \/>\n<p><strong>Please note that next week we will have two joint LogiCIC\/LIRa sessions:<\/strong><br \/>\n<a title=\"LogiCIC\/LIRa session: Hans van Ditmarsch\" href=\"https:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2696\">Wednesday March 11, 11:30-13:00 with Hans van Ditmarsch at SP 107, Room F1.15<\/a><br \/>\n<a title=\"LogiCIC\/LIRa session: Christian List\" href=\"https:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2694\">Thursday March 12, 15:00-17:00 with Christian List at SP 904, Room B0.207<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>On Friday, March 6, 2015, we will have a LogiCIC\/LIRa session with\u00a0Roberto Ciuni.<br \/>\nEveryone is cordially invited!<br \/>\nSpeaker:\u00a0Roberto Ciuni<br \/>\nDate and Time: Friday, March 6, 2015,\u00a014:30-16:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nTitle: Plausibility Trees and Simple Future<br \/>\nAbstract. In this talk I introduce a new formal setting for simple-future sentences in branching time. The new setting combines a quantification over histories\u2013which [&#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-2677","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\/2677","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=2677"}],"version-history":[{"count":8,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2677\/revisions"}],"predecessor-version":[{"id":2704,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2677\/revisions\/2704"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2677"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2677"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2677"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}