Model Checking and Validity in Propositional and Modal Inclusion Logics

From MaRDI portal
Publication:5111246

DOI10.4230/LIPIcs.MFCS.2017.32zbMath1441.68132arXiv1609.06951OpenAlexW3093094759MaRDI QIDQ5111246

Arne Meier, Antti Kuusisto, Lauri Hella, Jonni Virtema

Publication date: 26 May 2020

Full work available at URL: https://arxiv.org/abs/1609.06951




Related Items (5)



Cites Work


This page was built for publication: Model Checking and Validity in Propositional and Modal Inclusion Logics