A Semantics for Persistency in Propositional Dynamic Logic.

J.M. Broersen, R.J. Wieringa, J. Meyer

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings First International Conference on Computational Logic (CL2000).
EditorsJ. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau., C. Palamidessi, L.M. Pereira, Y. Sagiv, P.J. Stuckey
PublisherSpringer Verlag
Pages912-925
Publication statusPublished - 2000

Cite this