Olivier Roy (University of Bayreuth)

Priority Merge and Intersection Modalities

Abstract: I will present an overview of existing and new results regarding the logic of so-called lexicographic or priority merge in multi-agent plausibility models. This will include: a systematic comparison between the logical behavior of priority merge and the more standard notion of pooling through intersection, used to define, for instance, distributed knowledge; a sound and complete axiomatization of the logic of priority merge; a proof theory in labeled sequents that admits cut, and a study of Moorean phenomena. This is joint work with ZoƩ Christoff (Bayreuth) and Norbert Gratzl (MCMP Munich).