TY  - RPRT
TI  - Complexity of the Model Checking problem for inquisitive propositional and modal logic
AU  - Gianluca Grilletti
AU  - Ivano Ciardelli
PY  - 2024
UR  - https://arxiv.org/abs/2403.14260
ID  - 2403.14260
ER  -