| 2015 | A Dichotomy Result for Ramsey Quantifiers. Ronald de Haan, Jakub Szymanik |
| 2015 | An Epistemic Separation Logic. Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche |
| 2015 | An Equation-Based Classical Logic. Andreia Mordido, Carlos Caleiro |
| 2015 | Characterizing Frame Definability in Team Semantics via the Universal Modality. Katsuhiko Sano, Jonni Virtema |
| 2015 | Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. Vito Michele Abrusci, Roberto Maieli |
| 2015 | Equational Properties of Stratified Least Fixed Points (Extended Abstract). Zoltán Ésik |
| 2015 | Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. Liron Cohen, Robert L. Constable |
| 2015 | Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira |
| 2015 | On Topologically Relevant Fragments of the Logic of Linear Flows of Time. Bernhard Heinemann |
| 2015 | On the Weak Index Problem for Game Automata. Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
| 2015 | Parametric Polymorphism - Universally. Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
| 2015 | Proof-Theoretic Aspects of the Lambek-Grishin Calculus. Philippe de Groote |
| 2015 | Syllogistic Logic with "Most". Jörg Endrullis, Lawrence S. Moss |
| 2015 | The Word Problem for Finitely Presented Quandles is Undecidable. James M. Belk, Robert W. McGrail |
| 2015 | The p-adic Integers as Final Coalgebra. Prasit Bhattacharya |