DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT

DOI10.1017/S1755020313000294zbMath1317.03021OpenAlexW2142718174MaRDI QIDQ5414136

Andrés Cordón-Franco, Hans P. van Ditmarsch, Ángel Nepomuceno-Fernández

Publication date: 2 May 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020313000294

zbMATH Keywords

public announcementbackground assumptionsdynamic consequence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Non-monotonic reasoning via dynamic consequence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abductive reasoning. Logical investigations into discovery and explanation
• The secret of my success
• Modal languages and bounded fragments of predicate logic
• Epistemic planning for single- and multi-agent systems
• Tableaux for Public Announcement Logic
• Dynamic logic for belief revision
• A logical analysis of some value concepts
• DEL-sequents for regression and epistemic planning
• Bridges between Classical and Nonmonotonic Logic

This page was built for publication: DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT