System of Spheres-based Two Level Credibility-limited Revisions

DOI10.4204/eptcs.379.23arXiv2307.05062OpenAlexW4383645830MaRDI QIDQ6199616

Eduardo L. Fermé, Maurício D. L. Reis, Marco Garapa

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05062

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AGM 25 years. Twenty-five years of research in belief change
• On the logic of theory change: safe contraction
• Two modellings for theory change
• Propositional knowledge base revision and minimal change
• Subjunctives, dispositions and chances
• A survey of non-prioritized belief revision
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• Credibility limited revision
• Credibility-limited Functions for Belief Bases
• TWO LEVEL CREDIBILITY-LIMITED REVISIONS
• Credibility-limited Base Revision: New Classes and Their Characterizations
• Belief Change
• Safe Contraction Revisited
• Filtered belief revision: syntax and semantics
• Levi and Harper identities for non-prioritized belief base change