Actions, Belief Update, and DDL
From MaRDI portal
Publication:4982659
DOI10.1007/978-94-007-7046-1_11zbMath1312.03014MaRDI QIDQ4982659
Publication date: 10 April 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-7046-1_11
03A05: Philosophical and critical aspects of logic and foundations
03B42: Logics of knowledge and belief (including belief change)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief extrapolation (or how to reason about observations and unpredicted change)
- Dynamic doxastic logic: why, how, and where to?
- Bringing it about
- A unified model of qualitative belief change: a dynamical systems perspective
- Propositional knowledge base revision and minimal change
- Deriving properties of belief update from theories of action
- Belief revision: A critique
- Propositional belief base update and minimal change
- Knowledge updates: Semantics and complexity issues
- Propositional Update Operators Based on Formula/Literal Dependence
- On the logic of theory change: Partial meet contraction and revision functions
- How to Do Things with Worlds: on Formalizing Actions and Plans
- Irrevocable belief revision in dynamic doxastic logic