Modal varieties of temporal logic

D Gabbay, H Barringer

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationHandbook of temporal reasoning in artificial intelligence
EditorsM Fisher, D Gabbay, L Vila
Place of PublicationAmsterdam
PublisherElsevier
Pages119 - 166
Number of pages48
Publication statusPublished - 2005

Cite this