Dynamic Epistemic Logic for Implicit and Explicit Beliefs

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations

Natural Sciences, Mathematics, Contract Theory +6

Belief, awareness, and limited reasoning

Ronald Fagin, Joseph Y. Halpern · Artificial Intelligence · 1987 · 892 citations

Social Sciences, Behavioral Sciences, Psychology +10

KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions

P. T. Geach · Philosophical Books · 1963 · 869 citations

Humanities, Philosophy, Epistemology +9

Two modellings for theory change

Adam J. Grove · Journal of Philosophical Logic · 1988 · 697 citations

Humanities, Mathematics, Behavior Change Theory +5

A logic of implicit and explicit belief

Hector J. Levesque · 1984 · 539 citations

Computing, Computer Science, Knowledge Representation +15