TY  - JOUR

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

JO  - Journal of Logic and Computation

UR  - https://doi.org/10.1093/logcom/exz008

PY  - 2019/04/10

AU  - Hella L

AU  - Kuusisto A

AU  - Meier A

AU  - Virtema J

ED  - 

DO  - DOI: 10.1093/logcom/exz008

PB  - Oxford ºÚÁϳԹÏÍø Press (OUP)

VL  - 29

IS  - 5

SP  - 605

EP  - 630

Y2  - 2025/12/15

ER  -