21 citations · 26 across the 5 of their papers we have counts for
1 paper · 2 filters
Gianluca Grilletti, Ivano Ciardelli
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the proble…