Priority merge and intersection modalities

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

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.

• Item Type: Journal article
• Faculties: Philosophy, Philosophy of Science and Religious Science
• Subjects: 100 Philosophy and Psychology > 100 Philosophy
• ISSN: 1755-0203
• Language: English
• DFG: Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 390218268