Bridges between Dynamic Doxastic and Doxastic Temporal Logics.

Johan van Benthem Cédric Dégremont

Published in: LOFT (2008)

Keyphrases

temporal logic
epistemic logic
model checking
modal logic
verification method
mazurkiewicz traces
belief revision
satisfiability problem
temporal knowledge
special case
predicate logic
multi agent
description logics
model checker
linear temporal logic
computation tree logic