Temporal Logic

Research output: Chapter in Book/Conference paper › Chapter › peer-review

Original language	English
Title of host publication	Handbook of Modal Logic
Editors	Patrick Blackburn, Johan van Benthem, Frank Wolter
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	655-720
ISBN (Print)	0444516905
Publication status	Published - 2007

Cite this

@inbook{d16b888356cb4053b777b54554412072,

title = "Temporal Logic",

author = "I. Hodkinson and Mark Reynolds",

year = "2007",

language = "English",

isbn = "0444516905",

pages = "655--720",

editor = "Patrick Blackburn and Benthem, {Johan van} and Frank Wolter",

booktitle = "Handbook of Modal Logic",

publisher = "Elsevier",

address = "Netherlands",

}