DEL-sequents for progression
From MaRDI portal
Publication:5891665
DOI10.3166/jancl.21.289-321zbMath1242.03034MaRDI QIDQ5891665
Publication date: 17 July 2012
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00674150/file/JANCL11.pdf
03B42: Logics of knowledge and belief (including belief change)
68T42: Agent technology and artificial intelligence
Related Items
DEL-sequents for regression and epistemic planning, Dynamic Epistemic Logic as a Substructural Logic, Multiagent belief revision, Arrow update synthesis
Cites Work
- Unnamed Item
- McCarthy variations in a modal key
- Prolegomena to dynamic logic for belief revision
- Logics of communication and change
- Dynamic epistemic logic
- Probabilistic dynamic belief revision
- Dynamic update with probabilities
- Merging frameworks for interaction
- Propositional knowledge base revision and minimal change
- Logics for epistemic programs
- Finite models constructed from canonical formulas
- Normal forms in modal logic
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents
- From Situation Calculus to Dynamic Epistemic Logic
- Knowledge and common knowledge in a distributed environment
- Interpreting an action from what we perceive and what we expect
- Dynamic logic for belief revision
- Expressivity and completeness for public update logics via reduction axioms
- On the logic of theory change: Partial meet contraction and revision functions
- Church's Problem Revisited
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
- Epistemic Actions as Resources
- An axiomatic basis for computer programming