TY  - RPRT
TI  - Strong completeness of a first-order temporal logic for real time
AU  - Robert Goldblatt
PY  - 2023
DO  - 10.1017/s1755020324000121
UR  - https://arxiv.org/abs/2310.20069
ID  - 2310.20069
ER  -