2026-07-21T23:22:24Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5508 2024-03-06T10:26:25Z ddc:004 open_access

Logics for Dependence and Independence (Dagstuhl Seminar 15261) Grädel, Erich Kontinen, Juha Väänänen, Jouka Vollmer, Heribert team semantics dependence logic mathematical logic computational complexity finite model theory game theory This report documents the programme and outcomes of Dagstuhl Seminar 15261 "Logics for Dependence and Independence". This seminar served as a follow-up seminar to the highly successful seminar "Dependence Logic: Theory and Applications" (Dagstuhl Seminar 13071). A key objective of the seminar was to bring together researchers working in dependence logic and in the application areas so that they can communicate state-of-the-art advances and embark on a systematic interaction. The goal was especially to reach those researchers who have recently started working in this thriving area. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Erich Grädel and Juha Kontinen and Jouka Väänänen and Heribert Vollmer 2016 Is Part Of Dagstuhl Reports, Volume 5, Issue 6 (2016) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.5.6.70 urn:nbn:de:0030-drops-55084 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.70 eng https://creativecommons.org/licenses/by/3.0/legalcode