Dagstuhl Seminar Proceedings:
Formal Models of Belief Change in Rational Agents 2007
: A logical formalism for the subjective approach in a multi-agent setting.
: Semantic structures for one-stage and iterated belief revision.
: Probability Logic and Logical Probability.
: Propositional Relevance through Letter-Sharing: Review and Contribution.
: A blueprint for deontic logic in three (not necessarily easy) steps.
: Measuring Ranks via the Complete Laws of Iterated Contraction.