Original language | English |
---|---|
Title of host publication | Proceedings First International Conference on Computational Logic (CL2000). |
Editors | J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau., C. Palamidessi, L.M. Pereira, Y. Sagiv, P.J. Stuckey |
Publisher | Springer Verlag |
Pages | 912-925 |
Publication status | Published - 2000 |
A Semantics for Persistency in Propositional Dynamic Logic.
J.M. Broersen, R.J. Wieringa, J. Meyer
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review