Interleaved Contractions (Extended Abstract)

We study an approach to concurrent contractions, that is, to simultaneous contractions performed by multiple agents. Using ideas from the semantics of programming we adopt an interleaved approach to reason about concurrent contractions. Although many of the notions from the traditional Gaa ardenfors approach transfer to this setting, our approach also forces us to depart from the AGM framework in important ways. We present both laws describing rational concurrent contractions, and a construction that satisses these laws.