11 citations · 16 across the 7 of their papers we have counts for
1 paper · 2 filters
Lauri Hella, Antti Kuusisto, Arne Meier +1
Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity proble…