| 2013 | A Finite Model Property for Gödel Modal Logics. Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger |
| 2013 | A Simple Separation Logic. Andreas Herzig |
| 2013 | Boolean Dependence Logic and Partially-Ordered Connectives. Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema |
| 2013 | Continuous Truth II: Reflections. Michael P. Fourman |
| 2013 | Counting in SPARQL Property Paths: Perspectives from Theory and Practice. Wim Martens |
| 2013 | Dependence Logic with Generalized Quantifiers: Axiomatizations. Fredrik Engström, Juha Kontinen, Jouko A. Väänänen |
| 2013 | Extended Modal Dependence Logic. Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer |
| 2013 | First Order Extensions of Residue Classes and Uniform Circuit Complexity. Argimiro Arratia, Carlos E. Ortiz |
| 2013 | Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics. Yoshihiro Maruyama |
| 2013 | Independence in Database Relations. Juha Kontinen, Sebastian Link, Jouko A. Väänänen |
| 2013 | Information, Awareness and Substructural Logics. Igor Sedlár |
| 2013 | Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
| 2013 | Logic and Agent Programming Languages. Natasha Alechina |
| 2013 | Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz |
| 2013 | Model Checking for Modal Dependence Logic: An Approach through Post's Lattice. Julian-Steffen Müller, Heribert Vollmer |
| 2013 | Modelling Infinite Structures with Atoms. Mikolaj Bojanczyk |
| 2013 | Natural Models of Homotopy Type Theory (Abstract). Steven Awodey |
| 2013 | Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. Philippe Balbiani, Emiliano Lorini |
| 2013 | Perspectives of Dynamic Complexity. Thomas Schwentick |
| 2013 | Quantitative Approaches to Information Protection. Catuscia Palamidessi |
| 2013 | Quantum Probabilistic Dyadic Second-Order Logic. Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong |
| 2013 | Structural Extensions of Display Calculi: A General Recipe. Agata Ciabattoni, Revantha Ramanayake |
| 2013 | Substructural Logic of Proofs. Hidenori Kurokawa, Hirohiko Kushida |
| 2013 | The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic. Sjur Kristoffer Dyrkolbotn |