Propositional Dynamic Logic of Nonregular Programs.
In: Journal of Computer and System Sciences, 26(2):222--243.
Propositional Dynamic Logic for CFG |
| [Harel et al., 1983]
|
D. Harel and A. Pnueli and J. Stavi (1983). Propositional Dynamic Logic of Nonregular Programs. In: Journal of Computer and System Sciences, 26(2):222--243. |
| [Harel and Singerman, 1996]
|
D. Harel and E. Singerman (1996). More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. In: Information and Computation, 128(2):109--118. |
| [Lange, 2005]
|
Martin Lange (2005). Model Checking Propositional Dynamic Logic with All Extras. In: Journal of Applied Logic, 4(1):39--49. |
| [Lange, 2006]
|
Martin Lange (2006). Temporal Logics Beyond Regularity. |
| [Lange and Somla, 2006]
|
M. Lange and R. Somla (2006). Propositional Dynamic Logic of Context-Free Programs and Fixpoint Logic with Chop. In: Information Processing Letters, 100(2):72--75. |
| [Löding and Serre, 2006]
|
Christof Löding and Olivier Serre (2006). Propositional Dynamic Logic with Recursive Programs. In: Luca Aceto and Anna Ingólfsdóttir (eds.), Proc.\ 9th Int.\ Conf.\ on Foundations of Software Science and Computation Structures, FOSSACS '06. Volume 3921 of LNCS. Vienna, Austria, pp. 292--306. Published by Springer. |