Strong completeness of a first-order temporal logic for real time
From MaRDI portal
Publication:6457367
DOI10.1017/S1755020324000121arXiv2310.20069MaRDI QIDQ6457367FDOQ6457367
Authors: Robert Goldblatt 
Publication date: 30 October 2023
This page was built for publication: Strong completeness of a first-order temporal logic for real time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6457367)
