Search Results

Documents authored by Väänänen, Jouka


Document
Logics for Dependence and Independence (Dagstuhl Seminar 15261)

Authors: Erich Grädel, Juha Kontinen, Jouka Väänänen, and Heribert Vollmer

Published in: Dagstuhl Reports, Volume 5, Issue 6 (2016)


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.

Cite as

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)


Copy BibTex To Clipboard

@Article{gradel_et_al:DagRep.5.6.70,
  author =	{Gr\"{a}del, Erich and Kontinen, Juha and V\"{a}\"{a}n\"{a}nen, Jouka and Vollmer, Heribert},
  title =	{{Logics for Dependence and Independence (Dagstuhl Seminar 15261)}},
  pages =	{70--85},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{6},
  editor =	{Gr\"{a}del, Erich and Kontinen, Juha and V\"{a}\"{a}n\"{a}nen, Jouka and Vollmer, Heribert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.70},
  URN =		{urn:nbn:de:0030-drops-55084},
  doi =		{10.4230/DagRep.5.6.70},
  annote =	{Keywords: team semantics, dependence logic, mathematical logic, computational complexity, finite model theory, game theory}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail