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

 publisher = {{Oxford ºÚÁϳԹÏÍø Press (OUP)}},

 url = {{https://doi.org/10.1093/logcom/exz008 }},

 year = {{2019}},

 month = {{4}},

 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 2025/12/15}}}