Quantified CTL with imperfect information

@article{Berthon2016QuantifiedCW,
  title={Quantified CTL with imperfect information},
  author={Rapha{\"e}l Berthon and Bastien Maubert and Aniello Murano},
  journal={CoRR},
  year={2016},
  volume={abs/1611.03524}
}
Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend it to include imperfect information by parameterising quantifiers with an observation that defines how well they observe… CONTINUE READING