Abstract is missing.
- The Completeness Problem for Modal LogicAntonis Achilleos. 1-21 [doi]
- Justification Awareness ModelsSergei Artemov. 22-36 [doi]
- A Minimal Computational Theory of a Minimal Computational UniverseArnon Avron, Liron Cohen 0001. 37-54 [doi]
- A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremMatthias Baaz, Alexander Leitsch, Anela Lolic. 55-71 [doi]
- Angluin Learning via LogicSimone Barlocco, Clemens Kupke. 72-90 [doi]
- A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇Lev D. Beklemishev. 91-106 [doi]
- A Logic of Blockchain UpdatesKai Brünnler, Dandolo Flumini, Thomas Studer. 107-119 [doi]
- From Display to Labelled Proofs for Tense LogicsAgata Ciabattoni, Tim Lyon, Revantha Ramanayake. 120-139 [doi]
- Notions of Cauchyness and MetastabilityHannes Diener, Robert S. Lubarsky. 140-153 [doi]
- A Gödel-Artemov-Style Analysis of Constructible FalsityThomas Macaulay Ferguson. 154-169 [doi]
- Probabilistic Reasoning About Simply Typed Lambda TermsSilvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic. 170-189 [doi]
- Polyteam SemanticsMiika Hannula, Juha Kontinen, Jonni Virtema. 190-210 [doi]
- On the Sharpness and the Single-Conclusion Property of Basic Justification ModelsVladimir N. Krupski. 211-220 [doi]
- Founded Semantics and Constraint Semantics of Logic RulesYanhong A. Liu, Scott D. Stoller. 221-241 [doi]
- Separating the Fan Theorem and Its Weakenings IIRobert S. Lubarsky. 242-255 [doi]
- Dialectica Categories for the Lambek CalculusValeria de Paiva, Harley Eades III. 256-272 [doi]
- From Epistemic Paradox to Doxastic ArithmeticV. Alexis Peluce. 273-288 [doi]
- A Natural Proof System for Herbrand's TheoremBenjamin Ralph. 289-308 [doi]
- Metastability and Higher-Order ComputabilitySam Sanders. 309-330 [doi]
- The Completeness of BCD for an Operational SemanticsRick Statman. 331-336 [doi]
- A Tableau System for Instantial Neighborhood LogicJunhua Yu. 337-353 [doi]
- Interpretations of Presburger Arithmetic in ItselfAlexander Zapryagaev, Fedor Pakhomov. 354-367 [doi]