17 citations · 31 across the 4 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2023
Strong completeness of a first-order temporal logic for real time
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…
math.LO2017★ 14 cited
Canonical extensions and ultraproducts of polarities
Robert Goldblatt
J{ó}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. A…