The Temporal Logic of Branching Time

@inproceedings{BenAri1981TheTL,
  title={The Temporal Logic of Branching Time},
  author={Mordechai Ben-Ari and Zohar Manna and Amir Pnueli},
  booktitle={POPL},
  year={1981}
}
F r o m the first in t roduct ion of the Tempora l Logic formalism as a tool for reasoning about programs, there arose a basic question which later almost developed into a controversy. The question involves the nature of the underlying structure of time on which the formalism is based. The d icho tomy is between the linear time approach which considers time to be a linear sequence, and the branching time approach, which adopts a tree structured time, allowing some instants to have more than a… CONTINUE READING
Highly Influential
This paper has highly influenced 52 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 309 extracted citations

Similar Papers

Loading similar papers…