Next:
The language of dynamic-epistemic
Up:
Explicit knowledge
Previous:
The abstract action of
 
Contents
Dynamic epistemic logic
Subsections
The language of dynamic-epistemic logic
Axioms for dynamic-epistemic logic
Systems of dynamic-epistemic logic
Some features of dynamic-epistemic logic
Systems with the directedness axiom
2001-04-05