Complete Axiomatizations for Reasoning about Knowledge and Branching Time

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Knowledge and belief

Jaakko Hintikka · 1962 · 1.5K citations

A guide to completeness and complexity for modal logics of knowledge and belief

Joseph Y. Halpern, Yoram Moses · Artificial Intelligence · 1992 · 845 citations

Humanities, Computer Science, Mathematics +12

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

Computing, Computer Science, Formal Methods +12

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