Articles | Slides | Official Documents
Articles
- Samson Abramsky, Jouko Väänänen, From IF to BI, A Tale of Dependence and Separation. ILLC Prepublication Series, PP-2008-27. Synthese, Volume 167, Number 2. March, 2009
- Denis Bonnay, Dag Westerståhl, Consequence Mining: A New Approach to Logical Constants. Submitted. Comments welcome.
- Fredrik Engström and Philipp Schlicht, Non-Isomorphism Invariant Borel Quantifiers. Proceedings of the American Mathematical Society, 2010.
- Pietro Galliani, Game values and equilibria for undetermined sentences of Dependence Logic. MSc Thesis. Published in ILLC MoL Series, MoL-2008-08 (2008)
- Pietro Galliani, Probabilistic Dependence Logic. Submitted on Dec 2, 2008.
- Pietro Galliani, Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings.. In the proceedings of the Fourth Indian Conference on Logic and its Applications. January 2011.
- Pietro Galliani, Inclusion and Exclusion in Team Semantics: On some logics of imperfect information.. Submitted. June 2011.
- Erich Grädel, Jouko Väänänen, Dependence and Independence. December 2010.
- Juha Kontinen and Ville Nurmi, Team logic and second-order logic, In H. Ono, M. Kanazawa, and R. J. G. B. de Queiroz, editors, Proc. WoLLIC 2009, volume 5514 of Lecture Notes in Computer Science, pages 230-241, Springer, 2009.
- Juha Kontinen and Jouko Väänänen, On Definability in Dependence Logic. Journal of Logic, Language and Information, 18(3):317-332, 2009. Erratum.
- Allen Mann, Perfect IFG-formulas. Logica Universalis, 2(2):265-275, Oct 2008.
- Allen Mann, Independence-friendly cylindric set algebras, Logic Journal of IGPL, 2009, doi: 10.1093/jigpal/jzp029
Slides
- Samson Abramsky, Game Semantics (December 2008 LINT Workshop, The Netherlands).
- Dietmar Berwanger, Imperfect-Information Games in Computing (December 2008 Lint Workshop, The Netherlands).
- Denis Bonnay, Logical Constants - Invariance for Modal Logic and Dynamic Logic (December 2008 LINT Workshop, The Netherlands).
- Pietro Galliani, Probabilistic Dependence Logic (December 2008 LINT Workshop, The Netherlands).
- Pietro Galliani, Independence logic and tuple existence atoms (Part 2), Logiikan Seminaari, Helsinki, Finland.
- Pietro Galliani, Inclusion and exclusion atoms in team semantics, Finite Model Theory Seminar, Tampere, Finland.
- Juha Kontinen, Definability in dependence logic (December 2008 LINT Workshop, The Netherlands).
- Allen Mann, Algebraic Independence-Friendly Logic (December 2008 LINT Workshop, The Netherlands).
- Bernd Puchala, Winning Strategies in Two-Player Games of Imperfect Information (December 2008 LINT Workshop, The Netherlands).
- Jouko Väänänen, Slides for the ESF Meeting of October 2008
- Jouko Väänänen, Dependence Logic: overview of LINT
- Jouko Väänänen, From Dependence to Independence
)