TY  - JOUR

T1  - Model checking and validity in propositional and modal inclusion logics

JO  - Journal of Logic and Computation

PY  - 2019/09/01

AU  - Hella L

AU  - Kuusisto A

AU  - Meier A

AU  - Virtema J

ED  - 

DO  - DOI: 10.1093/logcom/exz008

VL  - 29

IS  - 5

SP  - 605

EP  - 630

Y2  - 2024/10/23

ER  -