DagRep.5.6.70.pdf
- Filesize: 1.34 MB
- 16 pages
Document
Logics for Dependence and Independence (Dagstuhl Seminar 15261)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 5, Issue 6
Volume: Dagstuhl Reports, Volume 5
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-01-11
Cite AsGet BibTex
Erich Grädel, Juha Kontinen, Jouka Väänänen, and Heribert Vollmer. Logics for Dependence and Independence (Dagstuhl Seminar 15261). In Dagstuhl Reports, Volume 5, Issue 6, pp. 70-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/DagRep.5.6.70
https://doi.org/10.4230/DagRep.5.6.70
Abstract
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.
Keywords
- team semantics
- dependence logic
- mathematical logic
- computational complexity
- finite model theory
- game theory
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads