17 citations · 31 across the 4 of their papers we have counts for
1 paper · 1 filter
Robert Goldblatt
Propositional temporal logic over the real number time flow is finitely axiomatisable, but its first-order counterpart is not recursively axiomatisable. We study the logic that com…