18 citations · 22 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2008
A logic with temporally accessible iteration
Alexei Lisitsa
Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-…
cs.LO2007★ 4 cited
Efficient First-Order Temporal Logic for Infinite-State Systems
Clare Dixon, Michael Fisher, Boris Konev +1
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of…
cs.LO2004★ 18 cited
Temporal logic with predicate abstraction
Alexei Lisitsa, Igor Potapov
A predicate linear temporal logic LTL_{λ,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{λ,=} can be naturally seen a…