Decision Procedures and Expressiveness in the Temporal Logic of Branching Time

Emerson, E. A., & Halpern, J. Y. (1985). Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. Journal of Computer and System Sciences, 0000(85), 1-24.

Type

Journal article

Intellectual base

Primary research

Year

1985

DOI

10.1016/0022-0000(85)90001-7

Link

https://doi.org/10.1016/0022-0000(85)90001-7

Cited by

1 citation across 1 artifact.

Domain-specific

• Computation Tree Logic
  • The strict syntax separates CTL from CTL*, where path and temporal operators can be nested more freely.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:89527394fea5 · see in the full table