{"id":3734,"date":"2019-02-24T18:39:47","date_gmt":"2019-02-24T17:39:47","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3734"},"modified":"2019-04-24T09:15:06","modified_gmt":"2019-04-24T07:15:06","slug":"lira-session-fan-yang-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2019\/02\/lira-session-fan-yang-2\/","title":{"rendered":"LIRa Session: Fan Yang"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/sites.google.com\/site\/fanyanghp\/\">Fan Yang<\/a> (University of Helsinki)<\/p>\n<p>Date and Time: Thursday, May&nbsp;9th 2019, 16:30-18:00<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107.<\/p>\n<p><strong>Title: Logics for first-order team properties.<\/strong><\/p>\n<p><em>Abstract.<\/em>\u00a0Team semantics is a semantical framework originally introduced by Hodges [1997] for the study of various dependence and independence concepts, and later systematically developed by V\u00e4\u00e4n\u00e4nen [2007] with the introduction of dependence logic (D). Other prominent logics based on team semantics include independence logic (Ind) [Gr\u00e4del, V\u00e4\u00e4n\u00e4nen 2013], inclusion logic [Galliani 2012], etc. In team semantics formulas are evaluated in a model over sets of assignments (called teams) rather than single assignments as in the usual first-order logic. Teams are essentially relations, and thus open formulas define team properties. In general, knowing the expressive power of a logic for sentences (with no free variables) does not automatically give a characterization for the expressive\u00a0 power of open formulas of the same logic. Such a peculiar phenomenon has sparked several studies on the expressive power of logics based on team semantics. In particular, while D and Ind are both equivalent to existential second-order logic (ESO) on the level of sentences, it turns out that open formulas of Ind characterize all ESO\u00a0team properties [Galliani 2012], whereas the former characterize only downward closed ESO\u00a0team properties [Kontinen, V\u00e4\u00e4n\u00e4nen 2009]. In this talk, we introduce a logic, denoted by FOT, whose expressive power coincides with first-order logic both on the level of sentences and on the level of open formulas (in the sense that open formulas of FOT characterize exactly first-order definable team properties).\u00a0We also show, as an application of Lyndon\u2019s Interpolation Theorem, that a natural fragment of FOT captures downward closed first-order definable team properties.<\/p>\n<p>In the second part of the talk,\u00a0we define a system of natural deduction for FOT, and show that it is sound and complete. We also discuss some applications of our logic. In particular, we demonstrate that Arrow\u2019s Theorem in social choice can be formalized in FOT, and Armstrong\u2019s axioms for functional dependencies in database theory can be derived in our system of FOT.<\/p>\n<div>\n<p>(This talk is based on joint work with Juha Kontinen.)<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Fan Yang (University of Helsinki)<br \/>\nDate and Time: Thursday, May&nbsp;9th 2019, 16:30-18:00<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107.<br \/>\nTitle: Logics for first-order team properties.<br \/>\nAbstract.\u00a0Team semantics is a semantical framework originally introduced by Hodges [1997] for the study of various dependence and independence concepts, and later systematically developed by V\u00e4\u00e4n\u00e4nen [2007] with the introduction of dependence [&#8230;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3734","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\/3734","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\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3734"}],"version-history":[{"count":3,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3734\/revisions"}],"predecessor-version":[{"id":3799,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3734\/revisions\/3799"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3734"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3734"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3734"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}