Seng-cho Timothy Chou

• Reasoning with model-based belief revision semantics