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