| 2012 | Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures. | Amin Farjudian |
| 2012 | Quantifying Notes. | Hans van Ditmarsch |
| 2012 | On Distributed Monitoring of Asynchronous Systems. | Volker Diekert, Anca Muscholl |
| 2012 | Linearity in the Non-deterministic Call-by-Value Setting. | Alejandro Daz-Caro, Barbara Petit |
| 2012 | On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. | Claudio Callejas, Joo Marcos, Benjamn Ren Callejas Bedregal |
| 2012 | Minimization via Duality. | Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden |
| 2012 | The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. | Alexandru Baltag, Bryan Renne, Sonja Smets |
| 2012 | Standard Completeness for Extensions of MTL: An Automated Approach. | Paolo Baldi, Agata Ciabattoni, Lara Spendier |
| 2012 | Formalizing Turing Machines. | Andrea Asperti, Wilmer Ricciotti |
| 2012 | Moving Arrows and Four Model Checking Results. | Carlos Areces, Raul Fervari, Guillaume Hoffmann |
| 2012 | Initiality for Typed Syntax and Semantics. | Benedikt Ahrens |
| 2012 | Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. | Sergio Abriola, Santiago Figueira, Gabriel Senno |
| 2011 | Logic in the Time of WWW: An OWL View. | Michael Zakharyaschev |
| 2011 | How Much Expressive Power Is Needed for Natural Language Temporal Indexicality? | Igor Yanovich |
| 2011 | Relational Concepts and the Logic of Reciprocity. | Yoad Winter |
| 2011 | Univalent Foundations of Mathematics. | Vladimir Voevodsky |
| 2011 | Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic. | Peter Verde |
| 2011 | Querying the Fragments of English. | Camilo Thorne |
| 2011 | On Polymorphic Types of Untyped Terms. | Rick Statman |
| 2011 | Strong Normalization and Confluence for Reflexive Combinatory Logic. | Daniyar S. Shamkanov |
| 2011 | Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. | Paula Severi, Fer-Jan de Vries |
| 2011 | A Symbolic Logic with Exact Bounds for Cryptographic Protocols. | John C. Mitchell |
| 2011 | Countable Version of Omega-Rule. | Grigori Mints |
| 2011 | Characterizing Definability of Second-Order Generalized Quantifiers. | Juha Kontinen, Jakub Szymanik |
| 2011 | Untestable Properties in the Kahr-Moore-Wang Class. | Charles Jordan, Thomas Zeugmann |