Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence

Ming Xu. Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence. Studia Logica, 109(6):1177-1200, 2021. [doi]

Abstract

Abstract is missing.