Vol. 20 No. 2 (2026)

Published 17 August 2026

https://doi.org/10.54103/1757-0522/2026/2

Editorial

Hykel Hosni

PDF

Research articles

Kenneth Aizawa

A Material Theory of Abduction

PDF

Teaching corner

Zuzanna Rygiewicz

Gentzen systems and Beth tableaux: A Comparative Analysis of Syntactic and Semantic Proof Methods

PDF

The Reasoner Speculates

Bimal Jain

The Decisive Influence of the Diagnostic Environment on Diagnostic Reasoning in Practice

PDF

Post-publication reviews and comments

John Ian Boongaling

On Blum’s Argument for the Soundness of the S5 Axiom

PDF