| 2019 | Knowledge Without Complete Certainty. | Hans van Ditmarsch, Louwe B. Kuijer |
| 2019 | Modelling Informational Entropy. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg |
| 2019 | Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. | Roberto Ciuni, Thomas Macaulay Ferguson, Damin Szmuc |
| 2019 | Non Normal Logics: Semantic Analysis and Proof Theory. | Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis |
| 2019 | Analytic Calculi for Monadic PNmatrices. | Carlos Caleiro, Srgio Marcelino |
| 2019 | The One-Variable Fragment of Corsi Logic. | Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodrguez, Olim Frits Tuyt |
| 2019 | Bar-Hillel Theorem Mechanization in Coq. | Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |
| 2019 | Rigid First-Order Hybrid Logic. | Patrick Blackburn, Manuel A. Martins, Mara Manzano, Antonia Huertas |
| 2019 | Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. | Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday |
| 2019 | The McKinsey-Tarski Theorem for Topological Evidence Logics. | Alexandru Baltag, Nick Bezhanishvili, Sal Fernndez Gonzlez |
| 2019 | Note on Globally Sound Analytic Calculi for Quantifier Macros. | Matthias Baaz, Anela Lolic |
| 2019 | An Infinitary Treatment of Full Mu-Calculus. | Bahareh Afshari, Gerhard Jger, Graham E. Leigh |
| 2019 | On Combinatorial Proofs for Logics of Relevance and Entailment. | Matteo Acclavio, Lutz Straburger |
| 2018 | The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. | Sonja Smets, Anthia Solaki |
| 2018 | Beliefs Based on Evidence and Argumentation. | Chenwei Shi, Sonja Smets, Fernando R. Velzquez-Quesada |
| 2018 | Formalization of the Undecidability of the Halting Problem for a Functional Language. | Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2018 | A Semantical View of Proof Systems. | Elaine Pimentel |
| 2018 | Algebraic Semantics for Nelson's Logic | Thiago Nascimento, Umberto Rivieccio, Joo Marcos, Matthew Spinks |
| 2018 | Symbolic Reasoning Methods in Rewriting Logic and Maude. | Jos Meseguer |
| 2018 | The Undecidability of Orthogonal and Origami Geometries. | Johann A. Makowsky |
| 2018 | Advanced Kripke Frame for Quantum Logic. | Tomoaki Kawano |
| 2018 | Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. | Akitoshi Kawamura, Florian Steinberg, Holger Thies |
| 2018 | Handling Verb Phrase Anaphora with Dependent Types and Events. | Daniyar Itegulov, Ekaterina Lebedeva |
| 2018 | Unification Modulo Builtins. | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
| 2018 | Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. | Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira |