Theorem-proving for Discrete Temporal Logic

Mark Reynolds, C. Dixon

    Research output: Chapter in Book/Conference paperChapter

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publicationHandbook of Temporal Reasoning in Artificial Intelligence
    EditorsM Fisher, D Gabbay, L Vila
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages279-314
    Volume1
    ISBN (Print)0444514937
    Publication statusPublished - 2005

    Publication series

    NameFoundations of Artificial Intelligence

    Cite this

    Reynolds, M., & Dixon, C. (2005). Theorem-proving for Discrete Temporal Logic. In M. Fisher, D. Gabbay, & L. Vila (Eds.), Handbook of Temporal Reasoning in Artificial Intelligence (Vol. 1, pp. 279-314). (Foundations of Artificial Intelligence). Amsterdam: Elsevier.