Persistence and Minimality in Epistemic Logic.

Wiebe van der Hoek Jan Jaspars Elias Thijsse

Published in: JELIA (1998)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
multi faceted
logical framework
belief change
computation tree logic
inference rules
formal semantics
mathematical theory
partial order
artificial intelligence
temporal logic
situation calculus
model checker