Release Logics for Temporalizing Dynamic Logic

J. Krabbendam; J-J.Ch. Meyer

Release Logics for Temporalizing Dynamic Logic

J. Krabbendam
, J-J.Ch. Meyer

Dept of Information and Computing Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings 2nd International Conference on Temporal Logic (ICTL '97)
Editors	H. Barringer, M. Fischer, D. Gabbay, G. Gough
Place of Publication	Manchester, England
Publisher	University of Manchester
Pages	19-42
Number of pages	24
Publication status	Published - 1997

Keywords

Wiskunde en Informatica (WIIN)

Cite this

@inproceedings{b5912d2e7e904e45926a18ed15801f9e,

title = "Release Logics for Temporalizing Dynamic Logic",

keywords = "Wiskunde en Informatica (WIIN)",

author = "J. Krabbendam and J-J.Ch. Meyer",

year = "1997",

language = "Undefined/Unknown",

pages = "19--42",

editor = "H. Barringer and M. Fischer and D. Gabbay and G. Gough",

booktitle = "Proceedings 2nd International Conference on Temporal Logic (ICTL '97)",

publisher = "University of Manchester",

address = "United Kingdom",

}

Release Logics for Temporalizing Dynamic Logic. / Krabbendam, J.; Meyer, J-J.Ch.
Proceedings 2nd International Conference on Temporal Logic (ICTL '97). ed. / H. Barringer; M. Fischer; D. Gabbay; G. Gough. Manchester, England: University of Manchester, 1997. p. 19-42.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Release Logics for Temporalizing Dynamic Logic

AU - Krabbendam, J.

AU - Meyer, J-J.Ch.

PY - 1997

Y1 - 1997

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 19

EP - 42

BT - Proceedings 2nd International Conference on Temporal Logic (ICTL '97)

A2 - Barringer, H.

A2 - Fischer, M.

A2 - Gabbay, D.

A2 - Gough, G.

PB - University of Manchester

CY - Manchester, England

ER -