Knowledge and local actions
From MaRDI portal
Publication:5213656
DOI10.1007/978-3-662-47197-5_5zbMATH Open1429.03067OpenAlexW1278333542MaRDI QIDQ5213656FDOQ5213656
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
Recommendations
Cites Work
- Logics of communication and change
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parallel action: Concurrent dynamic logic with independent modalities
- Dynamic epistemic logic
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Merging frameworks for interaction
- A knowledge based semantics of messages
- Title not available (Why is that?)
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Title not available (Why is that?)
- A communication based model for games of imperfect information
- Automata for epistemic temporal logic with synchronous communication
- Modelling knowledge and action in distributed systems
- Data Flow Analysis
- A logical study of distributed transition systems
- Logic of transition systems
- Connecting dynamic epistemic and temporal epistemic logics
- Decisions, Actions, and Games: A Logical Perspective
- Title not available (Why is that?)
Cited In (1)
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)
