Should knowledge entail belief?

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

The Computational Complexity of Provability in Systems of Modal Propositional Logic

Richard E. Ladner · SIAM Journal on Computing · 1977 · 555 citations

Computing, Computer Science, Mathematics +11

Using Reasoning About Knowledge to Analyze DistributedSystems

Joseph Y. Halpern · Annual Review of Computer Science · 1987 · 146 citations

Computing, Computer Science, Computer Systems +8

Knowledge, belief and time

Sarit Kraus, Daniel Lehmann · Theoretical Computer Science · 1988 · 114 citations

Humanities, Psychology, Epistemology +7

Systems for Knowledge and Belief

Wiebe van der Hoek · Journal of Logic and Computation · 1993 · 77 citations · Full text

Humanities, Philosophy, Epistemology +16