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

 url = {{}},

 year = {{2019}},

 month = {{9}},

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

 doi = {{10.1093/logcom/exz008}},

 volume = {{29}},

 journal = {{Journal of Logic and Computation}},

 issue = {{5}},

 pages = {{605-630}},

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