| 2018 | A Formalization of Brouwer's Argument for Bar Induction. Ryota Akiyoshi |
| 2018 | A Semantical View of Proof Systems. Elaine Pimentel |
| 2018 | APAL with Memory Is Better. Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval |
| 2018 | Advanced Kripke Frame for Quantum Logic. Tomoaki Kawano |
| 2018 | Algebraic Semantics for Nelson's Logic Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks |
| 2018 | Beliefs Based on Evidence and Argumentation. Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
| 2018 | Deciding Open Definability via Subisomorphisms. Carlos Areces, Miguel Campercholi, Pablo Ventura |
| 2018 | Formalization of the Undecidability of the Halting Problem for a Functional Language. Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2018 | Handling Verb Phrase Anaphora with Dependent Types and Events. Daniyar Itegulov, Ekaterina Lebedeva |
| 2018 | Inhabitants of Intuitionistic Implicational Theorems. Katalin Bimbó |
| 2018 | Lindenbaum and Pair Extension Lemma in Infinitary Logics. Marta Bílková, Petr Cintula, Tomás Lávicka |
| 2018 | Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez |
| 2018 | Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. Akitoshi Kawamura, Florian Steinberg, Holger Thies |
| 2018 | Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira |
| 2018 | Symbolic Reasoning Methods in Rewriting Logic and Maude. José Meseguer |
| 2018 | The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. Sonja Smets, Anthia Solaki |
| 2018 | The Epistemology of Nondeterminism. Adam Bjorndahl |
| 2018 | The Undecidability of Orthogonal and Origami Geometries. Johann A. Makowsky |
| 2018 | Unification Modulo Builtins. Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |