| 2011 | A Complexity Question in Justification Logic. Antonis Achilleos |
| 2011 | A Symbolic Logic with Exact Bounds for Cryptographic Protocols. John C. Mitchell |
| 2011 | Basic Model Theory for Memory Logics. Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera |
| 2011 | Characterizing Definability of Second-Order Generalized Quantifiers. Juha Kontinen, Jakub Szymanik |
| 2011 | Concurrent Logic Games on Partial Orders. Julian Gutierrez |
| 2011 | Countable Version of Omega-Rule. Grigori Mints |
| 2011 | Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. Paula Severi, Fer-Jan de Vries |
| 2011 | Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation. Alexander Horn |
| 2011 | Hoare Logic for Higher Order Store Using Simple Semantics. Nathaniel Charlton |
| 2011 | How Much Expressive Power Is Needed for Natural Language Temporal Indexicality? Igor Yanovich |
| 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 | Information Flow on Directed Acyclic Graphs. Michael S. Donders, Sara Miner More, Pavel Naumov |
| 2011 | Logic in the Time of WWW: An OWL View. Michael Zakharyaschev |
| 2011 | Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings Lev D. Beklemishev, Ruy J. G. B. de Queiroz |
| 2011 | Nominal Lawvere Theories. Ranald Clouston |
| 2011 | On Polymorphic Types of Untyped Terms. Rick Statman |
| 2011 | On the Expressive Power of IF-Logic with Classical Negation. Santiago Figueira, Daniel Gorín, Rafael Grimson |
| 2011 | Partial Realization in Dynamic Justification Logic. Samuel Bucheli, Roman Kuznets, Thomas Studer |
| 2011 | Querying the Fragments of English. Camilo Thorne |
| 2011 | Relational Concepts and the Logic of Reciprocity. Yoad Winter |
| 2011 | Streaming String Transducers. Rajeev Alur |
| 2011 | Strong Normalization and Confluence for Reflexive Combinatory Logic. Daniyar S. Shamkanov |
| 2011 | Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic. Peter Verdée |
| 2011 | The Boyce-Codd-Heath Normal Form for SQL. Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent |
| 2011 | Turing Machines on Cayley Graphs. Aubrey da Cunha |
| 2011 | Unification in Logic. Rosalie Iemhoff |
| 2011 | Univalent Foundations of Mathematics. Vladimir Voevodsky |
| 2011 | Untestable Properties in the Kahr-Moore-Wang Class. Charles Jordan, Thomas Zeugmann |