Dynamic logics of knowledge and access

DOI10.1007/S11229-010-9768-5MaRDI QIDQ625719zbMATH OpenOpenAlexFDO

Authors Tomohiro Hoshi, Eric Pacuit

Publication date 25 February 2011

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-010-9768-5

zbMATH Keywords

dynamic epistemic logicepistemic temporal logiclogics of awareness

Mathematics Subject Classification ID

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

Recommendations

• Belief, awareness, and limited reasoning
• The dynamics of awareness
• A dynamic epistemic logic for resource-bounded agents
• Dynamic Epistemic Logic and Logical Omniscience
• scientific article; zbMATH DE number 1537935

Cites work

• A knowledge based semantics of messages
• A logic of believing, knowing, and inferring
• Alternative semantics for unawareness
• Awareness dynamics
• Becoming aware of propositional variables
• Belief, awareness, and limited reasoning
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic epistemic logic with branching temporal structures
• Dynamic epistemic temporal logic
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Inference and update
• Introducing Justification into Epistemic Logic
• Logics of informational attitudes and informative actions
• Logics of public communications
• Logics of rational interaction
• Merging frameworks for interaction
• Modal logic
• Reasoning about knowledge of unawareness
• Reasoning about permitted announcements
• The Dynamics of Syntactic Knowledge
• The logic of proofs, semantically
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(3)

• Diversity of agents and their interaction
• Dynamic worlds. From the frame problem to knowledge management
• Merging DEL and ETL

This page was built for publication: Dynamic logics of knowledge and access

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q625719)