Release Logics for Temporalizing Dynamic Logic

J. Krabbendam, J-J.Ch. Meyer

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

Original languageUndefined/Unknown
Title of host publicationProceedings 2nd International Conference on Temporal Logic (ICTL '97)
EditorsH. Barringer, M. Fischer, D. Gabbay, G. Gough
Place of PublicationManchester, England
PublisherUniversity of Manchester
Number of pages24
Publication statusPublished - 1997


  • Wiskunde en Informatica (WIIN)

Cite this