Temporal Aspects of the Dynamics of Knowledge

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items

Logics of temporal-epistemic actions

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