Containment logics: Algebraic Counterparts and Reduced Models

Stefano Bonzio, Michele Pra Baldi. Containment logics: Algebraic Counterparts and Reduced Models. Journal of Logic and Computation, 32(4):808-831, 2022. [doi]

Abstract

Abstract is missing.