Describir: Doxastic logic based on causal structures.