Priority merge and intersection modalities

Christoff, Zoe; Gratzl, Norbert und Roy, Olivier (2022): Priority merge and intersection modalities. In: Review of Symbolic Logic, Bd. 15, Nr. 1, PII S1755020321000058: S. 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.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie
• ISSN: 1755-0203
• Sprache: Englisch
• DFG: Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 390218268