Temporal Logic

Authors
Publication date 1995
Host editors
  • C. Hoggar
  • D. Gabbay
  • J. Robinson
Book title Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4
Pages (from-to) 241-350
Publisher Oxford: University Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back