Logo Logo
Help
Contact
Switch Language to German

Christoff, Zoe; Gratzl, Norbert and Roy, Olivier (2022): Priority merge and intersection modalities. In: Review of Symbolic Logic, Vol. 15, No. 1, PII S1755020321000058: pp. 165-196

Full text not available from 'Open Access LMU'.

Abstract

We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. We start with 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. We then provide a sound and complete axiomatization of the logic of priority merge, as well as a proof theory in labeled sequents that admits cut. We finally study Moorean phenomena and define a dynamic resolution operator for priority merge for which we also provide a complete set of reduction axioms.

Actions (login required)

View Item View Item