| 2013 | Dependence Logic with Generalized Quantifiers: Axiomatizations. | Fredrik Engstrm, Juha Kontinen, Jouko A. Vnnen |
| 2013 | Extended Modal Dependence Logic. | Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Mller, Jonni Virtema, Heribert Vollmer |
| 2013 | Boolean Dependence Logic and Partially-Ordered Connectives. | Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema |
| 2013 | The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic. | Sjur Kristoffer Dyrkolbotn |
| 2013 | Structural Extensions of Display Calculi: A General Recipe. | Agata Ciabattoni, Revantha Ramanayake |
| 2013 | A Finite Model Property for Gdel Modal Logics. | Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodrguez, Jonas Rogger |
| 2013 | Modelling Infinite Structures with Atoms. | Mikolaj Bojanczyk |
| 2013 | Quantum Probabilistic Dyadic Second-Order Logic. | Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong |
| 2013 | Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. | Philippe Balbiani, Emiliano Lorini |
| 2013 | Natural Models of Homotopy Type Theory (Abstract). | Steven Awodey |
| 2013 | First Order Extensions of Residue Classes and Uniform Circuit Complexity. | Argimiro Arratia, Carlos E. Ortiz |
| 2013 | Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. | Las Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
| 2013 | Logic and Agent Programming Languages. | Natasha Alechina |
| 2012 | Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. | Marco Volpe, Joo Marcos, Carlos Caleiro |
| 2012 | Logical Methods in Quantum Information Theory. | Peter Selinger |
| 2012 | On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates. | Nicole Schweikardt |
| 2012 | A Logic of Plausible Justifications. | Luis Menasch Schechter |
| 2012 | Preservation under Substructures modulo Bounded Cores. | Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty |
| 2012 | A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs. | Benjamin Rossman |
| 2012 | Contracting Logics. | Mrcio Moretto Ribeiro, Marcelo E. Coniglio |
| 2012 | Admissible Rules: From Characterizations to Applications. | George Metcalfe |
| 2012 | Propositional Reasoning about Saturated Conditional Probabilistic Independence. | Sebastian Link |
| 2012 | An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics. | Laura Kallmeyer, Rainer Osswald |
| 2012 | Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures. | Willem L. Fouch |
| 2012 | Equivalence Relations That Are Σ | Ekaterina B. Fokina, Sy-David Friedman, Andr Nies |