• DocumentCode
    2141253
  • Title

    A Tableau for Until and Since over Linear Time

  • Author

    Reynolds, Mark

  • Author_Institution
    CSSE, Univ. of Western Australia, Perth, WA, Australia
  • fYear
    2011
  • fDate
    12-14 Sept. 2011
  • Firstpage
    41
  • Lastpage
    48
  • Abstract
    We use mosaics and games to provide a simple, sound and complete tableau reasoning procedure for the temporal logic of until and since over general linear time.
  • Keywords
    computational complexity; temporal logic; games; linear time; mosaics; tableau reasoning; temporal logic; Cloning; Cognition; Complexity theory; Computational modeling; Games; Mirrors; Semantics; general linear time; since; tableau; temporal logic; until;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning (TIME), 2011 Eighteenth International Symposium on
  • Conference_Location
    Lubeck
  • ISSN
    1530-1311
  • Print_ISBN
    978-1-4577-1242-5
  • Type

    conf

  • DOI
    10.1109/TIME.2011.29
  • Filename
    6065227
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2141253