PRIORITY MERGE AND INTERSECTION MODALITIES

DOI10.1017/S1755020321000058MaRDI QIDQ5065140zbMATH OpenOpenAlexFDO

Authors Zoé Christoff, Norbert Gratzl, Olivier Roy

Publication date 18 March 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020321000058

zbMATH Keywords

dynamic epistemic logicepistemic logicgroup knowledgelogic of beliefspriority merge

Mathematics Subject Classification ID

Social choice (91B14) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Belief merging in dynamic logic of propositional assignments
• Merging Belief Bases Represented by Logic Programs
• Disjunctive merging: quota and Gmin merging operators
• A modal logic framework for multi-agent belief fusion
• A modal logic for fusing partial belief of multiple reasoners

Cites work

• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A qualitative theory of dynamic interactive belief revision
• An Analytic Logic of Aggregation
• Conditional logics of normality: A modal approach
• Cut Elimination in the Presence of Axioms
• Distributed knowledge
• Dynamic epistemic logic
• Everything else being equal: a modal logic for ceteris paribus preferences
• Exceptional Paper—Lexicographic Orders, Utilities and Decision Rules: A Survey
• Group knowledge is not always distributed (neither is it always implicit)
• Modal logic
• Modal logic for lexicographic preference aggregation
• Operators and Laws for Combining Preference Relations
• Proof analysis in modal logic
• Protocols for belief merge: Reaching agreement via communication
• Resolving distributed knowledge
• Substructural logics for pooling information
• The topology of belief, belief revision and defeasible knowledge
• Two modellings for theory change

Cited in

(4)

• Pooling modalities and pointwise intersection: axiomatization and decidability
• A logic of higher-order preferences
• An epistemic logic of preferences
• A hybrid multi-modal logic for context-dependent preferences

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: PRIORITY MERGE AND INTERSECTION MODALITIES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5065140)