{"id":3944,"date":"2019-12-27T22:32:47","date_gmt":"2019-12-27T21:32:47","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3944"},"modified":"2020-01-31T11:37:25","modified_gmt":"2020-01-31T10:37:25","slug":"lira-session-johan-van-benthem-3","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2019\/12\/lira-session-johan-van-benthem-3\/","title":{"rendered":"LIRa session: Johan van Benthem"},"content":{"rendered":"<p>Speaker: Johan van Benthem<\/p>\n<p>Date and Time: Thursday, February&nbsp;6th 2020, 16:30-18:00<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107.<\/p>\n<p><strong>Title: A Minimal Classical Logic of Functional Dependence<\/strong><\/p>\n<p><em>Abstract.<\/em><\/p>\n<p>Dependence is a ubiquitous notion in science and daily life, and several logical approaches exist for capturing its basic properties. In this talk, we analyze\u00a0dependence reasoning using\u00a0a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic\u00a0with dependence atoms and dependence quantifiers, modeled in the setting of generalized assignment semantics for FOL.<\/p>\n<div>\n<div title=\"Page 1\">\n<div>\n<div>\n<p>The logic\u2019s expressive strength, complete proof calculus and meta-properties are sketched. Also some language extensions are explored, as well as boundaries with undecidable logics for independence. Finally, connections are discussed with more concrete settings for dependence, including linear dependence in vector spaces, and temporal dependence in dynamical systems and games.<\/p>\n<p>Further technical details and topics will be presented by\u00a0Alexandru Baltag in a follow-up LIRA talk.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Johan van Benthem<br \/>\nDate and Time: Thursday, February&nbsp;6th 2020, 16:30-18:00<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107.<br \/>\nTitle: A Minimal Classical Logic of Functional Dependence<br \/>\nAbstract.<br \/>\nDependence is a ubiquitous notion in science and daily life, and several logical approaches exist for capturing its basic properties. In this talk, we analyze\u00a0dependence reasoning using\u00a0a simple decidable logic of functional [&#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-3944","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\/3944","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=3944"}],"version-history":[{"count":3,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3944\/revisions"}],"predecessor-version":[{"id":3968,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3944\/revisions\/3968"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3944"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3944"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3944"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}