1. The temporal logic of branching time;Ben-Ari;Acta Inform.,1983
2. Using branching time logic to synthesize synchronization skeletons;Emerson;Sci. Comput. Program.,1982
3. Decision procedures and expressiveness in the temporal logic of branching time;Emerson,1982
4. “Sometimes” and “not never” revisited: On branching vs. linear time;Emerson,1983
5. A probabilistic dynamic logic;Feldman,1982