{"id":3519,"date":"2018-04-25T17:07:42","date_gmt":"2018-04-25T15:07:42","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3519"},"modified":"2018-09-12T21:53:59","modified_gmt":"2018-09-12T19:53:59","slug":"lira-session-gianluca-grilletti","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2018\/04\/lira-session-gianluca-grilletti\/","title":{"rendered":"LIRa Session: Gianluca Grilletti"},"content":{"rendered":"<p>Speaker: <a href=\"http:\/\/ggrilletti.scienceontheweb.net\">Gianluca Grilletti<\/a><\/p>\n<p>Date and Time: Thursday, September&nbsp;20th 2018, 16:30-18:00<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107.<\/p>\n<p><strong>Title: An Ehrenfeucht-Fra\u00efss\u00e9 Game for InqBQ.<\/strong><\/p>\n<p><em>Abstract.\u00a0<\/em>InqBQ [1] is a first-order version of inquisitive logic, encompassing both questions and quantifiers. Questions like &#8220;What is an element with property <em>P<\/em>?\u2019\u2019 and &#8220;What is the extension of property <em>P<\/em>?&#8221; can be represented using the usual logical operators from first-order logic in addition to the inquisitive counterpart of classical disjunction and classical existential quantifier respectively. Several questions about InqBQ remain open: Is the entailment of the logic axiomatizable? Does the entailment between questions boil down to some dependency between the statements supporting the questions? Which questions are expressible and which are not expressible? Ehrenfeucht-Fra\u00efss\u00e9 games [2,4] proved to be a valuable tool to study the expressive power of several logics [3,5,8]. The main idea is to characterize logical equivalence between models, w.r.t. the whole logic or certain fragments of it, using game-theoretic tools; this in turn gives a strategy to prove that certain properties of models &#8212; e.g. the finiteness of the domain in first-order logic &#8212; are not expressible, namely by finding a winning strategy in a suitable game. In this talk I will present an EF-game for InqBQ and the corresponding characterization theorem. I will apply the result obtained to show that certain natural questions &#8212; e.g. \u201cHow many elements have property <em>P<\/em>?\u201d &#8212; are not expressible by InqBQ formulas. (This is joint work with Ivano Ciardelli.)<\/p>\n<p><span style=\"text-decoration: underline;\">References<\/span><\/p>\n<p>[1] Ivano Ciardelli. Questions in logic. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2016.<\/p>\n<p>[2] Andrzej Ehrenfeucht. An application of games to the completeness problem for formalized theories. Journal of Symbolic Logic, 32(2):281\u2013282, 1967.<\/p>\n<p>[3] Ronald Fagin. Monadic Generalized Spectra. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 21:89\u201396, 1975.<\/p>\n<p>[4] Roland Fra\u00efss\u00e9. Sur quelques classifications des syst\u00e8mes de relations. Publications Scientifiques de l\u2019Universit\u00e9 D\u2019Alger, 1(1):35\u2013182, June 1954.<\/p>\n<p>[5] Neil Immerman. Upper and lower bounds for first order expressibility. Journal of Com-<br \/>\nputer and System Sciences, 25(1):76\u201398, 1982.<\/p>\n<p>[6] Jouko V\u00e4\u00e4n\u00e4nen. Models and Games. Cambridge University Press, New York, NY, USA, 1st edition, 2011.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Gianluca Grilletti<br \/>\nDate and Time: Thursday, September&nbsp;20th 2018, 16:30-18:00<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107.<br \/>\nTitle: An Ehrenfeucht-Fra\u00efss\u00e9 Game for InqBQ.<br \/>\nAbstract.\u00a0InqBQ [1] is a first-order version of inquisitive logic, encompassing both questions and quantifiers. Questions like &#8220;What is an element with property P?\u2019\u2019 and &#8220;What is the extension of property P?&#8221; can be represented using [&#8230;]<\/p>\n","protected":false},"author":13,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3519","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\/3519","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\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3519"}],"version-history":[{"count":7,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3519\/revisions"}],"predecessor-version":[{"id":3607,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3519\/revisions\/3607"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3519"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3519"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3519"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}