Model checking and validity in propositional and modal inclusion logics

Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema. Model checking and validity in propositional and modal inclusion logics. Journal of Logic and Computation, 29(5):605-630, 2019. [doi]

Abstract

Abstract is missing.