DEL-sequents for progression
From MaRDI portal
Publication:5891666
DOI10.3166/jancl.21.289-321zbMath1242.91042OpenAlexW2046498902MaRDI QIDQ5891666
Ramón Pino Pérez, Franklin Camacho
Publication date: 17 July 2012
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.21.289-321
Related Items (1)
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
This page was built for publication: DEL-sequents for progression
