IEEE - Institute of Electrical and Electronics Engineers, Inc. - Guarded fixed point logic

Proceedings. 14th Symposium on Logic in Computer Science

Author(s): Gradel, E. ; Walukiewicz, I.
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): 45 - 54
ISBN (Paper): 0-7695-0158-3
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.1999.782585
Regular:

Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of first-order logic that were recently introduced by H. Andreka et al. (1998). Guarded... View More

Advertisement