Completeness of a Branching-Time Logic with Possible Choices

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

Computing, Computer Science, Formal Methods +12

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

Computing, Computer Science, Formal Methods +14

Using branching time temporal logic to synthesize synchronization skeletons

E. Allen Emerson, Edmund M. Clarke · Science of Computer Programming · 1982 · 662 citations

Computing, Computer Engineering, Computer Science +14

A Modal Logic for Coalitional Power in Games

Marc Pauly · Journal of Logic and Computation · 2002 · 477 citations · Full text

Social Sciences, Mathematics, Formal Methods +13

Decision procedures and expressiveness in the temporal logic of branching time

E. Allen Emerson, Joseph Y. Halpern · Journal of Computer and System Sciences · 1985 · 406 citations

Computing, Computer Science, Mathematics +14