Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision.

Published in: Stud Logica (2008)

Keyphrases

belief revision
dynamic aspects
propositional logic
network model
multi agent
first order logic
temporal logic
modal logic
default reasoning
logical framework
plausible reasoning
sound and complete axiomatization