| 2018 | The Epistemology of Nondeterminism. | Adam Bjorndahl |
| 2018 | Inhabitants of Intuitionistic Implicational Theorems. | Katalin Bimb |
| 2018 | Lindenbaum and Pair Extension Lemma in Infinitary Logics. | Marta Blkov, Petr Cintula, Toms Lvicka |
| 2018 | APAL with Memory Is Better. | Alexandru Baltag, Aybke zgn, Ana Lucia Vargas Sandoval |
| 2018 | Deciding Open Definability via Subisomorphisms. | Carlos Areces, Miguel Campercholi, Pablo Ventura |
| 2018 | A Formalization of Brouwer's Argument for Bar Induction. | Ryota Akiyoshi |
| 2017 | Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. | Zhiguang Zhao |
| 2017 | Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. | Gijs Jasper Wijnholds |
| 2017 | Global Neighbourhood Completeness of the Gdel-Lb Provability Logic. | Daniyar S. Shamkanov |
| 2017 | Substructural Logics with a Reflexive Transitive Closure Modality. | Igor Sedlr |
| 2017 | Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. | Yury Savateev, Daniyar S. Shamkanov |
| 2017 | Knowledge Is a Diamond. | Vt Puncochr |
| 2017 | On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. | Nikolai L. Poliakov, Denis I. Saveliev |
| 2017 | An Epistemic Generalization of Rationalizability. | Rohit Parikh |
| 2017 | Solovay's Completeness Without Fixed Points. | Fedor Pakhomov |
| 2017 | Concrete Mathematics. Finitistic Approach to Foundations. | Marcin Mostowski, Marek Czarnecki |
| 2017 | Disjoint Fibring of Non-deterministic Matrices. | Srgio Marcelino, Carlos Caleiro |
| 2017 | A Geometry of Interaction Machine for Gdel's System T. | Ian Mackie |
| 2017 | Dependent Event Types. | Zhaohui Luo, Sergei Soloviev |
| 2017 | The Lambek Calculus with Iteration: Two Variants. | Stepan L. Kuznetsov |
| 2017 | Shift Registers Fool Finite Automata. | Bjrn Kjos-Hanssen |
| 2017 | Lattice Logic Properly Displayed. | Giuseppe Greco, Alessandra Palmigiano |
| 2017 | Multi-type Display Calculus for Semi De Morgan Logic. | Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
| 2017 | Computable Quotient Presentations of Models of Arithmetic and Set Theory. | Michal Tomasz Godziszewski, Joel David Hamkins |
| 2017 | On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. | Flavio Ferrarotti, Senn Gonzlez, Jos Maria Turull Torres |