Priority Merge and Intersection Modalities

Zoé Christoff, Norbert Gratzl, Olivier Roy

Research output: Contribution to journalArticleAcademicpeer-review

7 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)165-196
Number of pages32
JournalThe Review of Symbolic Logic
Volume15
Issue number1
Early online date22-Feb-2021
DOIs
Publication statusPublished - Mar-2022

Cite this