Strong completeness of a first-order temporal logic for real time

DOI10.1017/S1755020324000121MaRDI QIDQ6457367zbMATH OpenFDO

Authors Robert Goldblatt

Publication date 30 October 2023

Mathematics Subject Classification ID

Temporal logic (03B44)

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)