Document Open Access Logo

Logics for Dependence and Independence (Dagstuhl Seminar 19031)

Authors Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.9.1.28.pdf
  • Filesize: 6.85 MB
  • 19 pages

Document Identifiers

Subject Classification

Keywords
  • dependence logic
  • mathematical logic
  • computational complexity
  • finite model theory
  • game theory

Metrics

Abstract

This report documents the programme and outcomes of Dagstuhl Seminar 19031 "Logics for Dependence and Independence". This seminar served as a follow-up seminar to the highly successful seminars "Dependence Logic: Theory and Applications" (13071) and "Logics for Dependence and Independence" (15261).  
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 as well as researchers working on several aspects of   database theory, separation logic, and logics of uncertainy.

Cite As Get BibTex

Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, and Heribert Vollmer. Logics for Dependence and Independence (Dagstuhl Seminar 19031). In Dagstuhl Reports, Volume 9, Issue 1, pp. 28-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019) https://doi.org/10.4230/DagRep.9.1.28

Author Details

Erich Grädel
Phokion G. Kolaitis
Juha Kontinen
Heribert Vollmer
and all authors of the abstracts in this report
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact