The temporal logic of branching time
From MaRDI portal
Publication:789895
DOI10.1007/BF01257083zbMath0533.68036MaRDI QIDQ789895
Amir Pnueli, Mordechai Ben-Ari, Zohar Manna
Publication date: 1983
Published in: Acta Informatica (Search for Journal in Brave)
finite model property; temporal logic; reasoning about programs; branching operators; completeness of an axiomatization; exponential decision procedure for satisfiability; tree of all possible computations
Related Items
A hierarchy of temporal logics with past, The expressive power of implicit specifications, TABLEAUX: A general theorem prover for modal logics, Formal timing analysis of distributed systems, CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus, TTL : a formalism to describe local and global properties of distributed systems