Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic.

Jaakko Hintikka

Published in: TARK (1986)

Keyphrases

epistemic logic
model checking
modal logic
mathematical theory
multi agent systems
inference rules
logical framework
dynamic epistemic logic
formal semantics
model checker
artificial intelligence
temporal logic
computation tree logic
multi faceted
situation calculus
random variables
orders of magnitude