Decidability of Quantifed Propositional Branching Time Logics

@inproceedings{French2001DecidabilityOQ,
  title={Decidability of Quantifed Propositional Branching Time Logics},
  author={Tim French},
  booktitle={Australian Joint Conference on Artificial Intelligence},
  year={2001}
}
Highly Cited
This paper has 32 citations. REVIEW CITATIONS