Knowledge and Local Actions

DOI10.1007/978-3-662-47197-5_5zbMath1429.03067OpenAlexW1278333542MaRDI QIDQ5213656

No author found.

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automata for epistemic temporal logic with synchronous communication
• Logics of communication and change
• Dynamic epistemic logic
• Merging frameworks for interaction
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Parallel action: Concurrent dynamic logic with independent modalities
• Modelling knowledge and action in distributed systems
• A knowledge based semantics of messages
• A logical study of distributed transition systems
• Logic of transition systems
• A Communication Based Model for Games of Imperfect Information
• Decisions, Actions, and Games: A Logical Perspective
• Data Flow Analysis
• Connecting dynamic epistemic and temporal epistemic logics
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Knowledge and Local Actions