Hostname: page-component-848d4c4894-tn8tq Total loading time: 0 Render date: 2024-06-14T04:07:13.645Z Has data issue: false hasContentIssue false
Accepted manuscript

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

Published online by Cambridge University Press:  22 May 2024

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Research Article
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)