TY  - CONF

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

JO  - Leibniz International Proceedings in Informatics Lipics

PY  - 2017/11/01

AU  - Hella L

AU  - Kuusisto A

AU  - Meier A

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.MFCS.2017.32

VL  - 83

Y2  - 2026/01/07

ER  -