Knowledge and local actions

DOI10.1007/978-3-662-47197-5_5MaRDI QIDQ5213656zbMATH OpenOpenAlexFDO

Authors

Publication date 4 February 2020

Published in Modality, Semantics and Interpretations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-47197-5_5

zbMATH Keywords

dynamicsepistemic logiclocal action

Mathematics Subject Classification ID

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

Recommendations

• Dynamic epistemic logics of introspection
• Temporal Aspects of the Dynamics of Knowledge
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• On representing actions in multi-agent domains
• Dynamic epistemic logic with communication actions

Cites work

• A communication based model for games of imperfect information
• A knowledge based semantics of messages
• A logical study of distributed transition systems
• Automata for epistemic temporal logic with synchronous communication
• Connecting dynamic epistemic and temporal epistemic logics
• Data Flow Analysis
• Decisions, Actions, and Games: A Logical Perspective
• Dynamic epistemic logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3843130 (Why is no real title available?)
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1241660 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logic of transition systems
• Logics of communication and change
• Merging frameworks for interaction
• Modelling knowledge and action in distributed systems
• Parallel action: Concurrent dynamic logic with independent modalities
• The complexity of reasoning about knowledge and time. I: Lower bounds

Cited in

(2)

• View-based explicit knowledge
• Reasoning about protocol change and knowledge

This page was built for publication: Knowledge and local actions

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