IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modular temporal logic

Proceedings. 14th Symposium on Logic in Computer Science

Author(s): Baziramwabo, A. ; McKenzie, P. ; Therien, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Trento, Italy, Italy
Conference Date: 5 July 1999
Page(s): 344 - 351
ISBN (Paper): 0-7695-0158-3
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.1999.782629
Regular:

D. Therien and T. Wilke (1996) characterized the Until hierarchy of linear temporal logic in terms of aperiodic monoids. Here, a temporal operator able to count modulo q is introduced. Temporal... View More

Advertisement