Release Logics for Temporalizing Dynamic Logic, Orthogonalising Modal Logics

J. Krabbendam, J-J.Ch. Meyer

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

Original language	Undefined/Unknown
Title of host publication	Advances in Temporal Logic
Editors	M. Barringer, M. Fisher & Gabbay, D. Gough
Place of Publication	Boston/Dordrecht
Publisher	Kluwer
Pages	21-45
Number of pages	25
Publication status	Published - 2000

Keywords

@inproceedings{fe870b1741954308a18c0b137e14ad10,

title = "Release Logics for Temporalizing Dynamic Logic, Orthogonalising Modal Logics",

keywords = "Wiskunde en Informatica (WIIN)",

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

year = "2000",

language = "Undefined/Unknown",

pages = "21--45",

editor = "M. Barringer and \{Fisher \& Gabbay\}, M. and D. Gough",

booktitle = "Advances in Temporal Logic",

publisher = "Kluwer",

}