We discuss the temporal logic “USF”, involving Until, Since and the fixed point operator ϑ of Gabbay, with semantics over the natural numbers.
Abstract. We discuss the temporal logic 'USF', involving Until, Since and the fixed point operator ϕ of Gabbay, with semantics over the natural numbers.
Dec 8, 1993 · We discuss the temporal logic 'USF', involving Until, Since and the fixed point operator ϕ of Gabbay, with semantics over the natural numbers.
The recursive definition of the fixed point operator in USF is in the spirit of the executable temporal logic system MetateM, developed in London and Manchester.
On the fixed points of the iterated pseudopalindromic closure operator · Sahlqvist theorem for modal fixed point logic · The induced generalized OWA operator.
Mar 1, 1995 · We discuss the temporal logic “ USF ”, involving Until, Since and the fixed point operator ϑ of Gabbay, with semantics over the natural ...
Title: On Gabbay's temporal fixed point operator ; Authors: HODKINSON, I ; Item Type: Journal Article ; Content Version: Accepted version ; Issue Date: 6-Mar-1995.
Bibliographic details on On Gabbay's Temporal Fixed Point Operator.
[PDF] A Temporal Fixpoint Calculus 1 Introduction - Rice University
www.cs.rice.edu › ~vardi › papers
We introduce and study here the logic TL, which is the extension of temporal logic by xpoint operators and past temporal connectives. ... time point if such a ...
Nov 29, 1999 · It also enables a recursive, fixed point definition of G (FPG), and, on the ordering of the natural numbers, the operators X and G satisfy ...