| 2014 | Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). | Luca Vigan, Marco Volpe, Margherita Zorzi |
| 2014 | A Calculus of Anyons. | Alessandra Di Pierro, Federica Panarotto |
| 2014 | On the Construction of Analytic Sequent Calculi for Sub-classical Logics. | Ori Lahav, Yoni Zohar |
| 2014 | Common Knowledge Semantics of Armstrong's Axioms. | Zachary Heckle, Pavel Naumov |
| 2014 | Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. | Zoltn sik, Panos Rondogiannis |
| 2014 | Ancestral Logic: A Proof Theoretical Study. | Liron Cohen, Arnon Avron |
| 2014 | Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. | Petr Cintula, Carles Noguera |
| 2014 | Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. | Ivano Ciardelli |
| 2014 | Sequentialization for N-Graphs via Sub-N-Graphs. | Ruan Carvalho, Las Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
| 2014 | On Distributed Stochastic Logics for Mobile Systems. | Juliana Kster Filipe Bowles, Petrucio Viana |
| 2014 | Reinstatement and the Requirement of Maximal Specificity in Argument Systems. | Gustavo Adrian Bodanza, Claudio A. Alessio |
| 2014 | Unranked Second-Order Anti-Unification. | Alexander Baumgartner, Temur Kutsia |
| 2014 | Logics with Copy and Remove. | Carlos Areces, Hans van Ditmarsch, Raul Fervari, Franois Schwarzentruber |
| 2014 | On the Value of Variables. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2014 | Definability for Downward and Vertical XPath on Data Trees. | Sergio Abriola, Mara Emilia Descotte, Santiago Figueira |
| 2013 | Information, Awareness and Substructural Logics. | Igor Sedlr |
| 2013 | Perspectives of Dynamic Complexity. | Thomas Schwentick |
| 2013 | Quantitative Approaches to Information Protection. | Catuscia Palamidessi |
| 2013 | Model Checking for Modal Dependence Logic: An Approach through Post's Lattice. | Julian-Steffen Mller, Heribert Vollmer |
| 2013 | Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics. | Yoshihiro Maruyama |
| 2013 | Counting in SPARQL Property Paths: Perspectives from Theory and Practice. | Wim Martens |
| 2013 | Substructural Logic of Proofs. | Hidenori Kurokawa, Hirohiko Kushida |
| 2013 | Independence in Database Relations. | Juha Kontinen, Sebastian Link, Jouko A. Vnnen |
| 2013 | A Simple Separation Logic. | Andreas Herzig |
| 2013 | Continuous Truth II: Reflections. | Michael P. Fourman |