1989 | ReviewPaper | Buchkapitel
Comparing linear and branching time temporal logics
verfasst von : Colin Stirling
Erschienen in: Temporal Logic in Specification
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
An important division of temporal logics is into linear and branching time. Here we propose a general framework for modal and temporal logics and within it offer a formal criterion for distinguishing linear from branching logics. This distinction is based on the CTL* framework. We offer a sound and complete axiomatization of CTL* formulas and we also contrast the general expressiveness of linear and branching time logics.