@inproceedings{555a7e24f4bd4198bf8bc7c3057f6593,
title = "Model Checking and Validity in Propositional and Modal Inclusion Logics",
keywords = "Complexity, Inclusion Logic, Model Checking, Complexity, Inclusion Logic, Model Checking",
author = "Lauri Hella and Antti Kuusisto and Arne Meier and Virtema Jonni",
year = "2017",
doi = "10.4230/LIPIcs.MFCS.2017.32",
language = "English",
isbn = "978-3-95977-046-0",
series = "Leibniz international proceedings in informatics",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
number = "83",
editor = "Larsen, {Kim G} and Bodlaender, {Hans L} and Jean-Francois Raskin",
booktitle = "Unknown",
note = "International Symposium on Mathematical Foundations of Computer Science ; Conference date: 01-01-2017",
}