Minimal Revision and Classical Kripke Models

DOI10.1007/978-3-642-24130-7_22zbMath1298.03064OpenAlexW2286948753MaRDI QIDQ3094016

Jonas de Vuyst

Publication date: 19 October 2011

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24130-7_22

zbMATH Keywords

Kripke semanticsdynamic modal logicrevision operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Introspective forgetting
• Generalizing AGM to a multi-agent setting
• Dynamic Context Logic

This page was built for publication: Minimal Revision and Classical Kripke Models