@misc{indiciae1b43e9d37b2f,
  title = {Complexity of the Model Checking problem for inquisitive propositional and modal logic},
  author = {Gianluca Grilletti and Ivano Ciardelli},
  year = {2024},
  url = {https://arxiv.org/abs/2403.14260},
  note = {Source identifier: 2403.14260}
}