Abstract is missing.
- A Non-hyperarithmetical Gödel LogicJuan P. Aguilera 0001, Jan Bydzovsky, David Fernández Duque. 1-8 [doi]
- Andrews Skolemization May Shorten Resolution Proofs Non-elementarilyMatthias Baaz, Anela Lolic. 9-24 [doi]
- The Isomorphism Problem for FST Injection StructuresDouglas Cenzer, Richard Krogman. 25-36 [doi]
- Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional LogicNeil J. DeBoer. 37-51 [doi]
- Hyperarithmetical Worm BattlesDavid Fernández Duque, Konstnatinos Papafilippou, Joost J. Joosten. 52-69 [doi]
- Parametric Church's Thesis: Synthetic Computability Without ChoiceYannick Forster 0002. 70-89 [doi]
- Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic LogicChristian Hagemeier, Dominik Kirst. 90-111 [doi]
- A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information DistanceBjørn Kjos-Hanssen, Saroj Niraula, Soowhan Yoon. 112-124 [doi]
- A Parameterized View on the Complexity of Dependence LogicJuha Kontinen, Arne Meier, Yasir Mahmood 0002. 125-142 [doi]
- A Logic of Interactive ProofsDavid Lehnherr, Zoran Ognjanovic, Thomas Studer. 143-155 [doi]
- Recursive Rules with Aggregation: A Simple Unified SemanticsYanhong A. Liu, Scott D. Stoller. 156-179 [doi]
- Computational Properties of Partial Non-deterministic Matrices and Their LogicsSérgio Marcelino, Carlos Caleiro, Pedro Filipe. 180-197 [doi]
- Soundness and Completeness Results for LEA and Probability SemanticsEoin Moore. 198-216 [doi]
- On Inverse Operators in Dynamic Epistemic LogicShota Motoura, Shin-ya Katsumata. 217-235 [doi]
- Betwixt Turing and KleeneDag Normann, Sam Sanders. 236-252 [doi]
- Computability Models over Categories and PresheavesIosif Petrakis. 253-265 [doi]
- Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite RepresentabilityDaniel Rogozin. 266-280 [doi]
- Between Turing and KleeneSam Sanders. 281-300 [doi]
- Propositional Dynamic Logic with Quantification over Regular Computation SequencesIgor Sedlár. 301-315 [doi]
- Finite Generation and Presentation Problems for Lambda Calculus and Combinatory LogicRick Statman. 316-326 [doi]
- Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint SystemsK. Subramani, Piotr J. Wojciechowski. 327-345 [doi]
- Dialectica Logical PrinciplesDavide Trotta, Matteo Spadetto, Valeria de Paiva. 346-363 [doi]
- Small Model Property Reflects in Games and AutomataMaciej Zielenkiewicz. 364-375 [doi]