Hostname: page-component-7bb8b95d7b-lvwk9 Total loading time: 0 Render date: 2024-09-26T20:08:57.206Z Has data issue: false hasContentIssue false
  • English
  • Français
Accepted manuscript

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

Published online by Cambridge University Press:  22 May 2024

Robert Goldblatt Open the ORCID record for Robert Goldblatt [Opens in a new window]
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Research Article
Information
The Review of Symbolic Logic , Accepted manuscript , pp. 1 - 16
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic