Complexity of the Model Checking problem for inquisitive propositional and modal logic

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…