Stefan Göller, Markus Lohrey, Carsten Lutz. PDL with intersection and converse: satisfiability and infinite-state model checking. Journal of Symbolic Logic, 74(1):279-314, 2009. [doi]
@article{GollerLL09, title = {PDL with intersection and converse: satisfiability and infinite-state model checking}, author = {Stefan Göller and Markus Lohrey and Carsten Lutz}, year = {2009}, url = {http://projecteuclid.org/euclid.jsl/1231082313}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/GollerLL09}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {74}, number = {1}, pages = {279-314}, }