Avoiding logical omniscience and perfect reasoning a survey
Antonio Moreno · AI Communications · 1998
Beliefs have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but the...