Title :
A Tableau for Until and Since over Linear Time
Author_Institution :
CSSE, Univ. of Western Australia, Perth, WA, Australia
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;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2011 Eighteenth International Symposium on
Conference_Location :
Lubeck
Print_ISBN :
978-1-4577-1242-5
DOI :
10.1109/TIME.2011.29
