On axiomatizations of public announcement logic

DOI10.1007/s11229-012-0233-5zbMath1310.03029OpenAlexW2118119080MaRDI QIDQ484925

Yanjing Wang, Qinxiang Cao

Publication date: 8 January 2015

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-012-0233-5

zbMATH Keywords

completenessdynamic epistemic logicpublic announcement logicepistemic temporal logiccomposition axiomreduction axioms

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (37)

Announcements to attentive agents ⋮ A Note on Reliability-Based Preference Dynamics ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ On inverse operators in dynamic epistemic logic ⋮ Non-strict interventionism: the case of right-nested counterfactuals ⋮ Private announcements on topological spaces ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ A closeness- and priority-based logical study of social network creation ⋮ Propositional quantification in logics of contingency ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ To be announced ⋮ Communication pattern logic: epistemic and topological views ⋮ A topological approach to full belief ⋮ A logical study of group-size based social network creation ⋮ Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ Inexact knowledge and dynamic introspection ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Book review of: Johan van Benthem, Logical dynamics of information and interaction ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Coalition and relativised group announcement logic ⋮ Planning-based knowing how: a unified approach ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Syntactic awareness in logical dynamics ⋮ Introspection as an action in relational models ⋮ A logic for diffusion in social networks ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Opaque updates ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Announcement as effort on topological spaces ⋮ Endogenizing epistemic actions ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ CONTINGENCY AND KNOWING WHETHER ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Merging frameworks for interaction
• Reasoning about information change
• The Russian cards problem
• A theory of hypermodal logics: Mode shifting in modal logic
• Inexact knowledge with introspection
• Logics for epistemic programs
• The undecidability of iterated modal relativization
• Exploring the Power of Converse Events
• Well-structured program equivalence is highly undecidable
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• On Axiomatizations of PAL
• Logical Dynamics of Information and Interaction
• The logic of assertion
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Toward a Dynamic Logic of Questions
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Two Logical Faces of Belief Revision
• Modal Fixed-Point Logic and Changing Models

This page was built for publication: On axiomatizations of public announcement logic