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

SN  - 9783959770460

VL  - 83

Y2  - 2024/12/23

ER  -