From Situation Calculus to Dynamic Epistemic Logic

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Knowledge and belief

Jaakko Hintikka · 1962 · 1.5K citations

Knowledge in action: logical foundations for specifying and implementing dynamical systems

Choice Reviews Online · 2002 · 1.1K citations

Computing, Autonomous Systems, Dynamical Systems +13

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · The Journal of Logic Programming · 1997 · 1K citations

Computing, Computer Science, Knowledge Representation +5

Logics of public communications

Jan A. Plaza · Synthese · 2007 · 570 citations

Social Sciences, Communication, Communication Theory +2