Selected papers that cite this one
- Johan van Benthem, Jan van Eijck, and Vera Stebletsova. Modal logic, transition systems and processes. Journal of Logic and Computation, 4(5):811-855, October 1994.
- Fangzhen Lin and Yoav Shoham. Provably correct theories of action. Journal of the ACM, 42(2):293-320, March 1995.
- Alain J. Mayer and Larry J. Stockmeyer. The complexity of PDL with interleaving. Theoretical Computer Science, 161(1-2):109-122, 15 July 1996.