Sign in

A Simple Modal Logic for Reasoning about Revealed Beliefs.

Mohua BanerjeeDidier 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