Pearce, G. R. Three Approaches to Logical Correctness. LLP 2024, 34, 3-37.