18 citations · 60 across the 35 of their papers we have counts for
1 paper · 1 filter
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…