| 2016 | Second-Order False-Belief Tasks: Analysis and Formalization. | Torben Braner, Patrick Blackburn, Irina Polyanskaya |
| 2016 | Expressivity of Many-Valued Modal Logics, Coalgebraically. | Marta Blkov, Matej Dostl |
| 2016 | Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. | Pablo Barcel |
| 2016 | Justified Belief and the Topology of Evidence. | Alexandru Baltag, Nick Bezhanishvili, Aybke zgn, Sonja Smets |
| 2016 | A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. | Holger Bock Axelsen, Robert Glck, Robin Kaarsgaard |
| 2016 | Cut Elimination for Gdel Logic with an Operator Adding a Constant. | Juan P. Aguilera, Matthias Baaz |
| 2016 | Compactness in Infinitary Gdel Logics. | Juan P. Aguilera |
| 2016 | The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. | Beniamino Accattoli |
| 2016 | On the Complexity of the Equational Theory of Residuated Boolean Algebras. | Zhe Lin, Minghui Ma |
| 2016 | Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. | John T. Baldwin |
| 2015 | Characterizing Frame Definability in Team Semantics via the Universal Modality. | Katsuhiko Sano, Jonni Virtema |
| 2015 | An Equation-Based Classical Logic. | Andreia Mordido, Carlos Caleiro |
| 2015 | On Topologically Relevant Fragments of the Logic of Linear Flows of Time. | Bernhard Heinemann |
| 2015 | A Dichotomy Result for Ramsey Quantifiers. | Ronald de Haan, Jakub Szymanik |
| 2015 | Proof-Theoretic Aspects of the Lambek-Grishin Calculus. | Philippe de Groote |
| 2015 | Parametric Polymorphism - Universally. | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
| 2015 | On the Weak Index Problem for Game Automata. | Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
| 2015 | Equational Properties of Stratified Least Fixed Points (Extended Abstract). | Zoltn sik |
| 2015 | Syllogistic Logic with "Most". | Jrg Endrullis, Lawrence S. Moss |
| 2015 | An Epistemic Separation Logic. | Jean-Ren Courtault, Hans van Ditmarsch, Didier Galmiche |
| 2015 | Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. | Liron Cohen, Robert L. Constable |
| 2015 | The p-adic Integers as Final Coalgebra. | Prasit Bhattacharya |
| 2015 | The Word Problem for Finitely Presented Quandles is Undecidable. | James M. Belk, Robert W. McGrail |
| 2015 | Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. | Vito Michele Abrusci, Roberto Maieli |
| 2014 | On the Broader Epistemological Significance of Self-Justifying Axiom Systems. | Dan E. Willard |