Knowledge and true belief in Hintikka's epistemic logic.

Published in: J. Philos. Log. (1973)

Keyphrases

epistemic logic
dynamic epistemic logic
model checking
knowledge base
logical framework
representing knowledge
knowledge based systems
knowledge representation
multi agent systems
expert systems
programming language
belief revision
computation tree logic