| 2011 | Unification in Logic. | Rosalie Iemhoff |
| 2011 | Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation. | Alexander Horn |
| 2011 | Concurrent Logic Games on Partial Orders. | Julian Gutierrez |
| 2011 | On the Expressive Power of IF-Logic with Classical Negation. | Santiago Figueira, Daniel Gorn, Rafael Grimson |
| 2011 | Hybrid Logics and NP Graph Properties. | Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasch Schechter, Ana Teresa C. Martins |
| 2011 | The Boyce-Codd-Heath Normal Form for SQL. | Flavio Ferrarotti, Sven Hartmann, Henning Khler, Sebastian Link, Millist W. Vincent |
| 2011 | Information Flow on Directed Acyclic Graphs. | Michael S. Donders, Sara Miner More, Pavel Naumov |
| 2011 | Turing Machines on Cayley Graphs. | Aubrey da Cunha |
| 2011 | Nominal Lawvere Theories. | Ranald Clouston |
| 2011 | Hoare Logic for Higher Order Store Using Simple Semantics. | Nathaniel Charlton |
| 2011 | Partial Realization in Dynamic Justification Logic. | Samuel Bucheli, Roman Kuznets, Thomas Studer |
| 2011 | Basic Model Theory for Memory Logics. | Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera |
| 2011 | Streaming String Transducers. | Rajeev Alur |
| 2011 | A Complexity Question in Justification Logic. | Antonis Achilleos |
| 2010 | Generalising Conservativity. | Richard Zuber |
| 2010 | Intersection Type Systems and Explicit Substitutions Calculi. | Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 2010 | Foundations of Satisfiability Modulo Theories. | Cesare Tinelli |
| 2010 | Intuitionistic Logic and Computability Theory. | Sebastiaan Terwijn |
| 2010 | Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. | Daniele Nantes Sobrinho, Mauricio Ayala-Rincn |
| 2010 | Interval Valued Fuzzy Coimplication. | Renata Hax Sander Reiser, Benjamn R. C. Bedregal, Gesner Antonio Azevedo dos Reis |
| 2010 | Feasible Functions over Co-inductive Data. | Ramyaa Ramyaa, Daniel Leivant |
| 2010 | The Two-Variable Fragment with Counting Revisited. | Ian Pratt-Hartmann |
| 2010 | On Anaphora and the Binding Principles in Categorial Grammar. | Glyn Morrill, Oriol Valentn |
| 2010 | Application of Logic to Integer Sequences: A Survey. | Johann A. Makowsky |
| 2010 | A CTL-Based Logic for Program Abstractions. | Martin Lange, Markus Latte |