Temporal Aspects of the Dynamics of Knowledge
From MaRDI portal
Publication:5249672
DOI10.1007/978-3-319-06025-5_9zbMath1431.03029OpenAlexW45340037MaRDI QIDQ5249672
Eric Pacuit, Valentin F. Goranko
Publication date: 11 May 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_9
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief change in branching time: AGM-consistency and iterated revision
- Logic for update products and steps into the past
- Tense logic and time
- Logics of communication and change
- Dynamic epistemic logic
- Temporal languages for epistemic programs
- Dynamic epistemic logic with branching temporal structures
- Merging frameworks for interaction
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Adding a temporal dimension to a logic system
- A knowledge based semantics of messages
- Complete axiomatizations for reasoning about knowledge and branching time
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Many-dimensional modal logics: theory and applications
- Minimal temporal epistemic logic
- Memory and perfect recall in extensive games
- Comparing semantics of logics for multi-agent systems
- Some comments on history based structures
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
- Games in Dynamic-Epistemic Logic
- Logical Dynamics of Information and Interaction
- Alternating-time temporal logic
- Knowledge and common knowledge in a distributed environment
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
- Dynamic Epistemic Temporal Logic
- What can machines know?
- Complete Axiomatizations for Reasoning about Knowledge and Time
- What one may come to know
- Reasoning about Strategies
- Connecting dynamic epistemic and temporal epistemic logics
- Dynamic Epistemic Logics
- Belief Revision and Dynamic Logic
- Structures for Epistemic Logic
- Logic and Game Theory
- Knowledge Games and Coalitional Abilities