ESSLLI

199720012007201219972012

Keyphrases

Publications

volume 7388, 2012

Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ESSLLI 7388 (2012)

2011

Davide Grossi, Gabriella Pigozzi
Introduction to Judgment Aggregation. ESSLLI (2011)
Wojciech Jamroga, Wojciech Penczek
Specification and Verification of Multi-Agent Systems. ESSLLI (2011)
Ugo Dal Lago
A Short Introduction to Implicit Computational Complexity. ESSLLI (2011)
Jan M. Broersen, Leendert W. N. van der Torre
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. ESSLLI (2011)
Olaf Beyersdorff, Oliver Kutz
Proof Complexity of Non-classical Logics. ESSLLI (2011)
Sujata Ghosh, Ramaswamy Ramanujam
Strategies in Games: A Logic-Automata Study. ESSLLI (2011)