{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T19:10:15Z","timestamp":1768072215879,"version":"3.49.0"},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T00:00:00Z","timestamp":1626998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,22]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Modern logics of dependence and independence are based on team semantics, which means that formulae are evaluated not on a single assignment of values to variables, but on a set of such assignments, called a team. This leads to high expressive power, on the level of existential second-order logic. As an alternative, Baltag and van Benthem have proposed a local variant of dependence logic, called logic of functional dependence ($ {\\textsf {LFD}}$). While its semantics is also based on a team, the formulae are evaluated locally on just one of its assignments, and the team just serves as the supply of the possible assignments that are taken into account in the evaluation process. This logic thus relies on the modal perspective of generalized assignments semantics and can be seen as a fragment of first-order logic. For the variant of $ {\\textsf {LFD}}$ without equality, the satisfiability problem is decidable. We extend the idea of localizing logics of dependence and independence in a systematic way, taking into account local variants of standard atomic dependency properties: besides dependence and independence, also inclusion, exclusion and anonymity. We study model-theoretic and algorithmic questions of the localized logics and also resolve some of the questions that had been left open by Baltag and van Benthem. In particular, we study decidability issues of the local logics and prove that satisfiability of $ {\\textsf {LFD}}$ with equality is undecidable. Further, we establish characterization theorems via appropriate notions of bisimulation and study the complexity of model checking problems for these logics.<\/jats:p>","DOI":"10.1093\/logcom\/exab043","type":"journal-article","created":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T19:12:15Z","timestamp":1624475535000},"page":"1690-1715","source":"Crossref","is-referenced-by-count":1,"title":["Logics of dependence and independence: The local variants"],"prefix":"10.1093","volume":"31","author":[{"given":"Erich","family":"Gr\u00e4del","sequence":"first","affiliation":[{"name":"Mathematical Foundations of Computer Science, RWTH Aachen University, D-52056 Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"P\u00fctzst\u00fcck","sequence":"additional","affiliation":[{"name":"Mathematical Foundations of Computer Science, RWTH Aachen University, D-52056 Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"2021102214140480300_ref1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","article-title":"Modal languages and bounded fragments of predicate logic","volume":"27","author":"Andr\u00e9ka","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"2021102214140480300_ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-75357-2","volume-title":"Structural Complexity II","author":"Balc\u00e1zar","year":"1990"},{"key":"2021102214140480300_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/s10992-020-09588-z","article-title":"A simple logic of functional dependence","author":"Baltag","year":"2021","journal-title":"Journal of Philosopical Logic"},{"key":"2021102214140480300_ref4","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-45653-8_5","article-title":"Games and model checking for guarded logics","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Berwanger","year":"2001"},{"key":"2021102214140480300_ref5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2021102214140480300_ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"B\u00f6rger","year":"1997"},{"key":"2021102214140480300_ref7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2009.04.002","article-title":"Modal characterisation theorems over special classes of frames","volume":"161","author":"Dawar","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021102214140480300_ref8","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","article-title":"Inclusion and exclusion dependencies in team semantics: on some logics of imperfect information","volume":"163","author":"Galliani","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021102214140480300_ref9","first-page":"281","article-title":"Inclusion logic and fixed-point logic","volume-title":"Computer Science Logic 2013","author":"Galliani","year":"2013"},{"key":"2021102214140480300_ref10","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","article-title":"Dependence and independence","volume":"101","author":"Gr\u00e4del","year":"2013","journal-title":"Studia Logica"},{"key":"2021102214140480300_ref11","volume-title":"Finite Model Theory and Its Applications","author":"Gr\u00e4del","year":"2007"},{"key":"2021102214140480300_ref12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-48660-7_3","article-title":"Decision procedures for guarded logics","volume-title":"Automated Deduction\u2014CADE-16","author":"Gr\u00e4del","year":"1999"},{"key":"2021102214140480300_ref13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-06025-5_1","article-title":"The freedoms of (guarded) bisimulation","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"Gr\u00e4del","year":"2014"},{"key":"2021102214140480300_ref14","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","article-title":"Compositional semantics for a language of imperfect information","volume":"5","author":"Hodges","year":"1997","journal-title":"Logic Journal of the IGPL"},{"key":"2021102214140480300_ref15","volume-title":"A Shorter Model Theory","author":"Hodges","year":"1997"},{"key":"2021102214140480300_ref16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10849-009-9082-0","article-title":"On definability in dependence logic","volume":"18","author":"Kontinen","year":"2009","journal-title":"Journal of Logic, Language, and Information"},{"key":"2021102214140480300_ref17","volume-title":"Computational Complexity","author":"Papadimitriou","year":"1994"},{"key":"2021102214140480300_ref18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic","author":"V\u00e4\u00e4n\u00e4nen","year":"2007"},{"key":"2021102214140480300_ref19","volume-title":"Modal Correspondence Theory","author":"van Benthem","year":"1976"},{"key":"2021102214140480300_ref20","volume-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/7\/1690\/40820428\/exab043.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/7\/1690\/40820428\/exab043.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T14:33:35Z","timestamp":1634913215000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/7\/1690\/6324789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,23]]},"references-count":20,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2021,7,23]]},"published-print":{"date-parts":[[2021,10,22]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab043","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2021,10]]},"published":{"date-parts":[[2021,7,23]]}}}