{"id":4078,"date":"2020-06-01T08:23:35","date_gmt":"2020-06-01T06:23:35","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4078"},"modified":"2021-01-06T19:12:20","modified_gmt":"2021-01-06T18:12:20","slug":"lira-session-online-only-adam-bjorndahl","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2020\/06\/lira-session-online-only-adam-bjorndahl\/","title":{"rendered":"LIRa session (online only): Adam Bjorndahl"},"content":{"rendered":"<p>Speaker: Adam Bjorndahl<\/p>\n<p>Date and Time: Thursday, June&nbsp;4th 2020, 16:30-18:00, <a href=\"https:\/\/www.timeanddate.com\/time\/zone\/netherlands\/amsterdam\" target=\"_blank\" rel=\"noopener noreferrer\">Amsterdam time<\/a>.<\/p>\n<p>Venue: <strong><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/strong>.<\/p>\n<p><strong>Title: Almost-logic<br \/>\n<\/strong><\/p>\n<p><em>Abstract.<br \/>\n<\/em><\/p>\n<p>In standard possible worlds style semantics for modal logics, a model consists in a set of worlds W together with some additional structure (e.g., a relation, a topology, a (set of) function(s), etc.). And a formula is defined to be valid in such a model if it is true at each and every world in W. In this talk, we consider the idea of relaxing this definition of validity: instead of requiring truth at all worlds in W, what happens if we only ask for truth at \u201calmost all\u201d worlds? Of course, this depends on just what we mean by \u201calmost all\u201d. Natural closure conditions on the corresponding notion of \u201calmost-validity\u201d yield some constraints, but of course do not determine a unique definition of \u201calmost all\u201d. On the other hand, well-known topological and measure-theoretic notions of \u201clarge\u201d sets (and, dually, \u201cnegligible\u201d sets) provide appealing candidates for making this notion precise; each determines a corresponding class of \u201calmost-valid\u201d formulas, with some surprising and familiar axiomatizations to explore.<\/p>\n<p>See <a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2020-06-04+by+Adam+Bjorndahl\/0_puy3p2zb\">here<\/a> for the recording of the talk.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Adam Bjorndahl<br \/>\nDate and Time: Thursday, June&nbsp;4th 2020, 16:30-18:00, Amsterdam time.<br \/>\nVenue: online.<br \/>\nTitle: Almost-logic<\/p>\n<p>Abstract.<\/p>\n<p>In standard possible worlds style semantics for modal logics, a model consists in a set of worlds W together with some additional structure (e.g., a relation, a topology, a (set of) function(s), etc.). And a formula is defined to be valid in such [&#8230;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4078","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\/4078","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\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4078"}],"version-history":[{"count":2,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4078\/revisions"}],"predecessor-version":[{"id":4220,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4078\/revisions\/4220"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4078"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4078"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4078"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}