| 2009 | Conservativity for Logics of Justified Belief. | Robert Saxon Milnikel |
| 2009 | A Labeled Natural Deduction System for a Fragment of CTL*. | Andrea Masini, Luca Vigan, Marco Volpe |
| 2009 | Games on Strings with a Limited Order Relation. | Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna |
| 2009 | Automata and Answer Set Programming. | Victor W. Marek, Jeffrey B. Remmel |
| 2009 | Topological Forcing Semantics with Settling. | Robert S. Lubarsky |
| 2009 | Taming Modal Impredicativity: Superlazy Reduction. | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
| 2009 | Tableaux and Hypersequents for Justification Logic. | Hidenori Kurokawa |
| 2009 | Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. | Uwe Keller, Stijn Heymans |
| 2009 | Light Linear Logic with Controlled Weakening. | Max I. Kanovich |
| 2009 | Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. | Rosalie Iemhoff, George Metcalfe |
| 2009 | A Clausal Approach to Proof Analysis in Second-Order Logic. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2009 | Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. | Valentin Goranko, Dmitry Shkatov |
| 2009 | Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. | Amlie Gheerbrant, Balder ten Cate |
| 2009 | Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. | Antoine Genitrini, Jakub Kozik |
| 2009 | Positive Fork Graph Calculus. | Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana |
| 2009 | The NP-Completeness of Reflected Fragments of Justification Logics. | Samuel R. Buss, Roman Kuznets |
| 2009 | A Relational Model of a Parallel and Non-deterministic lambda-Calculus. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2009 | ATL with Strategy Contexts and Bounded Memory. | Thomas Brihaye, Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 2009 | The Logic of Proofs as a Foundation for Certifying Mobile Computation. | Eduardo Bonelli, Federico Feller |
| 2009 | Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings. | Nicolas Bedon |
| 2009 | Temporalization of Probabilistic Propositional Logic. | Pedro Baltazar, Paulo Mateus |
| 2009 | Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. | Arnon Avron, Anna Zamansky |
| 2009 | Completeness Results for Memory Logics. | Carlos Areces, Santiago Figueira, Sergio Mera |
| 2009 | Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. | Stefano Aguzzoli, Simone Bova, Vincenzo Marra |
| 2007 | Total Public Announcements. | David Steiner, Thomas Studer |