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