| Jasmin Christian Blanchette: Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod |
| Hannes Strass, Michael Thielscher: Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions |
| Beishui Liao, Li Jin, Robert Koons: Dynamics of Argumentation Systems: A Basic Theory |
| Matthias Baaz, Oliver Fasching: Gödel logics with an operator shifting truth values |
| Marijn Heule, Matti Järvisalo, Armin Biere: Covered Clause Elimination |
| Sara L. Uckelman, Jesse Alama: Playing Lorenzen Dialogue Games on the Web |
| Sara L. Uckelman and Jesse Alama: Proof rules for the dialogical logic N |
| Sylvain Conchon, Evelyne Contejean, Iguernelala Mohamed: Ground Associative and Commutative Completion Modulo Shostak Theories |
| Libor Behounek: Feasibility as a gradual notion |
| Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler: A Sudoku-Solver for Large Puzzles using SAT |
| Petr Cintula, George Metcalfe: Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic |
| Karel Chvalovský, Petr Cintula: Note on Deduction Theorems in Contraction-Free Logics |