Aldo Antonelli's last paper, "Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)" is now out in the most recent issue of the Journal of Philosophical Logic. This paper investigates the “general” semantics for first-order logic introduced to Antonelli (Review of Symbolic Logic 6(4), 637–58, 2013): a sound and complete … Continue reading Aldo Antonelli’s last paper