17 citations · 31 across the 4 of their papers we have counts for
4 papers
Measurement of a quantum system using spin-mechanical conversion
A. A. Wood, D. S. Rice, T. Xie +5
Levitated macroscopic particles exhibiting quantum mechanical effects are garnering increased attention as a means for precision sensing and testing quantum mechanics. Defects in d…
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…
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…
Well structured program equivalence is highly undecidable
Robert Goldblatt, Marcel Jackson
We show that strict deterministic propositional dynamic logic with intersection is highly undecidable, solving a problem in the Stanford Encyclopedia of Philosophy. In fact we show…