@inproceedings{inproceedings, title  = {{Model checking and validity in propositional and modal inclusion logics}},

 url = {{}},

 year = {{2017}},

 month = {{11}},

 author = {{Hella L and Kuusisto A and Meier A and Virtema J}},

 doi = {{10.4230/LIPIcs.MFCS.2017.32}},

 isbn = {{9783959770460}},

 volume = {{83}},

 journal = {{Leibniz International Proceedings in Informatics, LIPIcs}},

 note = {{Accessed on 2024/12/23}}}