| 2018 | Polyteam Semantics. | Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2018 | Probabilistic Reasoning About Simply Typed Lambda Terms. | Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic |
| 2018 | A Gdel-Artemov-Style Analysis of Constructible Falsity. | Thomas Macaulay Ferguson |
| 2018 | Notions of Cauchyness and Metastability. | Hannes Diener, Robert S. Lubarsky |
| 2018 | From Display to Labelled Proofs for Tense Logics. | Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake |
| 2018 | A Logic of Blockchain Updates. | Kai Brnnler, Dandolo Flumini, Thomas Studer |
| 2018 | A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇. | Lev D. Beklemishev |
| 2018 | Angluin Learning via Logic. | Simone Barlocco, Clemens Kupke |
| 2018 | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. | Matthias Baaz, Alexander Leitsch, Anela Lolic |
| 2018 | A Minimal Computational Theory of a Minimal Computational Universe. | Arnon Avron, Liron Cohen |
| 2018 | Justification Awareness Models. | Sergei N. Artmov |
| 2018 | The Completeness Problem for Modal Logic. | Antonis Achilleos |
| 2016 | Levy Labels and Recursive Types. | Rick Statman |
| 2016 | Ogden Property for Linear Displacement Context-Free Grammars. | Alexey Sorokin |
| 2016 | Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. | Vladimir V. Rybakov |
| 2016 | Definability in First Order Theories of Graph Orderings. | Ramaswamy Ramanujam, Ramanathan S. Thinniyam |
| 2016 | The Complexity of Disjunction in Intuitionistic Logic. | R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2016 | An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. | Tudor Protopopescu |
| 2016 | The Urysohn Extension Theorem for Bishop Spaces. | Iosif Petrakis |
| 2016 | A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. | Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano |
| 2016 | Measure Quantifier in Monadic Second Order Logic. | Henryk Michalewski, Matteo Mio |
| 2016 | Compactness in the Theory of Continuous Automata. | Scott Messick |
| 2016 | Parallel Feedback Turing Computability. | Robert S. Lubarsky |
| 2016 | Adjoint Logic with a 2-Category of Modes. | Daniel R. Licata, Michael Shulman |
| 2016 | Interpolation Method for Multicomponent Sequent Calculi. | Roman Kuznets |