| 2014 | A Calculus of Anyons. Alessandra Di Pierro, Federica Panarotto |
| 2014 | Ancestral Logic: A Proof Theoretical Study. Liron Cohen, Arnon Avron |
| 2014 | Common Knowledge Semantics of Armstrong's Axioms. Zachary Heckle, Pavel Naumov |
| 2014 | Definability for Downward and Vertical XPath on Data Trees. Sergio Abriola, María Emilia Descotte, Santiago Figueira |
| 2014 | Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. Ivano Ciardelli |
| 2014 | Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz |
| 2014 | Logics with Copy and Remove. Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber |
| 2014 | Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. Petr Cintula, Carles Noguera |
| 2014 | On Distributed Stochastic Logics for Mobile Systems. Juliana Küster Filipe Bowles, Petrucio Viana |
| 2014 | On the Broader Epistemological Significance of Self-Justifying Axiom Systems. Dan E. Willard |
| 2014 | On the Construction of Analytic Sequent Calculi for Sub-classical Logics. Ori Lahav, Yoni Zohar |
| 2014 | On the Value of Variables. Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2014 | Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). Luca Viganò, Marco Volpe, Margherita Zorzi |
| 2014 | Reinstatement and the Requirement of Maximal Specificity in Argument Systems. Gustavo Adrian Bodanza, Claudio A. Alessio |
| 2014 | Sequentialization for N-Graphs via Sub-N-Graphs. Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
| 2014 | Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. Zoltán Ésik, Panos Rondogiannis |
| 2014 | Unranked Second-Order Anti-Unification. Alexander Baumgartner, Temur Kutsia |