Generalized Kripke Models for Epistemic Logic.

Frans Voorbraak

Published in: TARK (1992)

Keyphrases

epistemic logic
modal logic
kripke models
temporal logic
decision procedures
model checking
inference rules
logical framework
dynamic epistemic logic
multi agent systems
default logic
formal semantics
multi faceted
situation calculus