id	keyword
bracis-33646	\(\mathcal
bracis-33646	logic
bracis-33646	\subseteq
bracis-33646	belief
bracis-33646	\in
bracis-33646	change
bracis-33646	l}\
bracis-33646	theory
bracis-33646	contraction
bracis-33646	model
bracis-33646	agm
bracis-33646	abstract
bracis-33646	\langle