| 2012 | A Logic of Plausible Justifications. Luis Menasché Schechter |
| 2012 | A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs. Benjamin Rossman |
| 2012 | Admissible Rules: From Characterizations to Applications. George Metcalfe |
| 2012 | Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures. Willem L. Fouché |
| 2012 | An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics. Laura Kallmeyer, Rainer Osswald |
| 2012 | Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. Marco Volpe, João Marcos, Carlos Caleiro |
| 2012 | Contracting Logics. Márcio Moretto Ribeiro, Marcelo E. Coniglio |
| 2012 | Equivalence Relations That Are Σ Ekaterina B. Fokina, Sy-David Friedman, André Nies |
| 2012 | Formalizing Turing Machines. Andrea Asperti, Wilmer Ricciotti |
| 2012 | Initiality for Typed Syntax and Semantics. Benedikt Ahrens |
| 2012 | Linearity in the Non-deterministic Call-by-Value Setting. Alejandro Díaz-Caro, Barbara Petit |
| 2012 | Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. Sergio Abriola, Santiago Figueira, Gabriel Senno |
| 2012 | Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings C.-H. Luke Ong, Ruy J. G. B. de Queiroz |
| 2012 | Logical Methods in Quantum Information Theory. Peter Selinger |
| 2012 | Minimization via Duality. Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden |
| 2012 | Moving Arrows and Four Model Checking Results. Carlos Areces, Raul Fervari, Guillaume Hoffmann |
| 2012 | On Distributed Monitoring of Asynchronous Systems. Volker Diekert, Anca Muscholl |
| 2012 | On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. Claudio Callejas, João Marcos, Benjamín René Callejas Bedregal |
| 2012 | On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates. Nicole Schweikardt |
| 2012 | Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures. Amin Farjudian |
| 2012 | Preservation under Substructures modulo Bounded Cores. Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty |
| 2012 | Propositional Reasoning about Saturated Conditional Probabilistic Independence. Sebastian Link |
| 2012 | Quantifying Notes. Hans van Ditmarsch |
| 2012 | Standard Completeness for Extensions of MTL: An Automated Approach. Paolo Baldi, Agata Ciabattoni, Lara Spendier |
| 2012 | The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. Alexandru Baltag, Bryan Renne, Sonja Smets |