A Simple Modal Logic for Reasoning about Revealed Beliefs.

Mohua Banerjee Didier Dubois

Published in: ECSQARU (2009)

Keyphrases

modal logic
modal operators
temporal logic
decision procedures
epistemic logic
inference rules
dynamic logic
classical logic
qualitative reasoning
decision making
programming language
belief revision