Consistency Preservation and Crazy Formulas in BMS
From MaRDI portal
Publication:3532455
DOI10.1007/978-3-540-87803-2_4zbMath1178.68552OpenAlexW1497934019MaRDI QIDQ3532455
Publication date: 27 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87803-2_4
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (12)
Announcements to attentive agents ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Exploring the Power of Converse Events ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Dynamics of lying ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Revocable belief revision ⋮ DEL Planning and Some Tractable Cases ⋮ On Revocable and Irrevocable Belief Revision ⋮ Dynamic Epistemic Logic as a Substructural Logic
This page was built for publication: Consistency Preservation and Crazy Formulas in BMS
