| 2017 | Non-commutative Logic for Compositional Distributional Semantics. | Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell |
| 2017 | Constructive Canonicity for Lattice-Based Fixed Point Logics. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
| 2017 | Proof Theory and Ordered Groups. | Almudena Colacito, George Metcalfe |
| 2017 | Generalized Relations in Linguistics and Cognition. | Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden |
| 2017 | On the Length of Medial-Switch-Mix Derivations. | Paola Bruscoli, Lutz Straburger |
| 2017 | On the Reflection Calculus with Partial Conservativity Operators. | Lev D. Beklemishev |
| 2017 | Total Search Problems in Bounded Arithmetic and Improved Witnessing. | Arnold Beckmann, Jean-Jos Razafindrakoto |
| 2017 | Independence-Friendly Logic Without Henkin Quantification. | Fausto Barbero, Lauri Hella, Raine Rnnholm |
| 2017 | Graph Turing Machines. | Nathanael L. Ackerman, Cameron E. Freer |
| 2016 | Anaphors and Quantifiers. | Richard Zuber |
| 2016 | Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. | Fan Yang |
| 2016 | Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. | Katsuhiko Sano, Jonni Virtema |
| 2016 | The Semantics of Corrections. | Deniz Rudin, Karl DeVries, Karen Duek, Kelsey Kraus, Adrian Brasoveanu |
| 2016 | The Expressive Power of k-ary Exclusion Logic. | Raine Rnnholm |
| 2016 | On the Formalization of Some Results of Context-Free Language Theory. | Marcus Vincius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, Jos Carlos Bacelar Almeida |
| 2016 | A Curry-Howard View of Basic Justification Logic. | Konstantinos Pouliasis |
| 2016 | Causality in Bounded Petri Nets is MSO Definable. | Mateus de Oliveira Oliveira |
| 2016 | Sheaves of Metric Structures. | Maicol A. Ochoa, Andrs Villaveces |
| 2016 | Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. | Johann A. Makowsky, Elena V. Ravve |
| 2016 | True Concurrency of Deep Inference Proofs. | Ozan Kahramanogullari |
| 2016 | A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. | Anselm Haak, Heribert Vollmer |
| 2016 | A Multi-type Calculus for Inquisitive Logic. | Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang |
| 2016 | Descriptive Complexity of Graph Spectra. | Anuj Dawar, Simone Severini, Octavio Zapata |
| 2016 | A Logical Approach to Context-Specific Independence. | Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Vnnen |
| 2016 | Categories: How I Learned to Stop Worrying and Love Two Sorts. | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |