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]

Authors

Stefano Bonzio

This author has not been identified. Look up 'Stefano Bonzio' in Google

Michele Pra Baldi

This author has not been identified. Look up 'Michele Pra Baldi' in Google