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 |
Item ID: | 115168 |
Date Deposited: | 02. Apr 2024, 08:10 |
Last Modified: | 02. Apr 2024, 08:10 |
DFG: | Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 390218268 |