| 2017 | A Geometry of Interaction Machine for Gödel's System T. Ian Mackie |
| 2017 | Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. Zhiguang Zhao |
| 2017 | An Epistemic Generalization of Rationalizability. Rohit Parikh |
| 2017 | Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. Gijs Jasper Wijnholds |
| 2017 | Computable Quotient Presentations of Models of Arithmetic and Set Theory. Michal Tomasz Godziszewski, Joel David Hamkins |
| 2017 | Concrete Mathematics. Finitistic Approach to Foundations. Marcin Mostowski, Marek Czarnecki |
| 2017 | Constructive Canonicity for Lattice-Based Fixed Point Logics. Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
| 2017 | Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. Yury Savateev, Daniyar S. Shamkanov |
| 2017 | Dependent Event Types. Zhaohui Luo, Sergei Soloviev |
| 2017 | Disjoint Fibring of Non-deterministic Matrices. Sérgio Marcelino, Carlos Caleiro |
| 2017 | Generalized Relations in Linguistics and Cognition. Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden |
| 2017 | Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. Daniyar S. Shamkanov |
| 2017 | Graph Turing Machines. Nathanael L. Ackerman, Cameron E. Freer |
| 2017 | Independence-Friendly Logic Without Henkin Quantification. Fausto Barbero, Lauri Hella, Raine Rönnholm |
| 2017 | Knowledge Is a Diamond. Vít Puncochár |
| 2017 | Lattice Logic Properly Displayed. Giuseppe Greco, Alessandra Palmigiano |
| 2017 | Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings Juliette Kennedy, Ruy J. G. B. de Queiroz |
| 2017 | Multi-type Display Calculus for Semi De Morgan Logic. Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
| 2017 | Non-commutative Logic for Compositional Distributional Semantics. Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell |
| 2017 | On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. Flavio Ferrarotti, Senén González, José Maria Turull Torres |
| 2017 | On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. Nikolai L. Poliakov, Denis I. Saveliev |
| 2017 | On the Length of Medial-Switch-Mix Derivations. Paola Bruscoli, Lutz Straßburger |
| 2017 | On the Reflection Calculus with Partial Conservativity Operators. Lev D. Beklemishev |
| 2017 | Proof Theory and Ordered Groups. Almudena Colacito, George Metcalfe |
| 2017 | Shift Registers Fool Finite Automata. Bjørn Kjos-Hanssen |
| 2017 | Solovay's Completeness Without Fixed Points. Fedor Pakhomov |
| 2017 | Substructural Logics with a Reflexive Transitive Closure Modality. Igor Sedlár |
| 2017 | The Lambek Calculus with Iteration: Two Variants. Stepan L. Kuznetsov |
| 2017 | Total Search Problems in Bounded Arithmetic and Improved Witnessing. Arnold Beckmann, Jean-José Razafindrakoto |