Abstract is missing.
- Inhabitants of Intuitionistic Implicational TheoremsKatalin Bimbó. 1-24 [doi]
- Symbolic Reasoning Methods in Rewriting Logic and MaudeJosé Meseguer. 25-60 [doi]
- A Semantical View of Proof SystemsElaine Pimentel. 61-76 [doi]
- A Formalization of Brouwer's Argument for Bar InductionRyota Akiyoshi. 77-90 [doi]
- Deciding Open Definability via SubisomorphismsCarlos Areces, Miguel Campercholi, Pablo Ventura. 91-105 [doi]
- APAL with Memory Is BetterAlexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval. 106-129 [doi]
- Lindenbaum and Pair Extension Lemma in Infinitary LogicsMarta Bílková, Petr Cintula, Tomás Lávicka. 130-144 [doi]
- The Epistemology of NondeterminismAdam Bjorndahl. 145-162 [doi]
- Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order LogicLuis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Ferreira Martins. 163-178 [doi]
- Unification Modulo BuiltinsStefan Ciobaca, Andrei Arusoaie, Dorel Lucanu. 179-195 [doi]
- Formalization of the Undecidability of the Halting Problem for a Functional LanguageThiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz. 196-209 [doi]
- Handling Verb Phrase Anaphora with Dependent Types and EventsDaniyar Itegulov, Ekaterina Lebedeva. 210-222 [doi]
- Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE SolvingAkitoshi Kawamura, Florian Steinberg, Holger Thies. 223-236 [doi]
- Advanced Kripke Frame for Quantum LogicTomoaki Kawano. 237-249 [doi]
- The Undecidability of Orthogonal and Origami GeometriesJohann A. Makowsky. 250-270 [doi]
- S SThiago Nascimento, Umberto Rivieccio, João Marcos 0001, Matthew Spinks. 271-288 [doi]
- Beliefs Based on Evidence and ArgumentationChenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada. 289-306 [doi]
- The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational AgentsSonja Smets, Anthia Solaki. 307-324 [doi]