Temporal Aspects of the Dynamics of Knowledge

DOI10.1007/978-3-319-06025-5_9MaRDI QIDQ5249672zbMATH OpenOpenAlexFDO

Authors Eric Pacuit, Valentin 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)

Recommendations

• Temporal approach to causal knowledge
• scientific article; zbMATH DE number 2014722
• scientific article; zbMATH DE number 1954384
• Knowledge, belief and time
• scientific article; zbMATH DE number 4028944
• Temporal interaction of information and belief
• On Temporal Properties of Knowledge Base Inconsistency
• Knowledge in flux. Modeling the dynamics of epistemic states

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 757636 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 6297883 (Why is no real title available?)
• scientific article; zbMATH DE number 5064947 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A knowledge based semantics of messages
• Adding a temporal dimension to a logic system
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• Belief change in branching time: AGM-consistency and iterated revision
• Belief revision and dynamic logic
• Comparing semantics of logics for multi-agent systems
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Complete axiomatizations for reasoning about knowledge and branching time
• Connecting dynamic epistemic and temporal epistemic logics
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Dynamic epistemic logic
• Dynamic epistemic logic with branching temporal structures
• Dynamic epistemic logics
• Dynamic epistemic temporal logic
• Games in dynamic-epistemic logic
• Knowledge and common knowledge in a distributed environment
• Knowledge games and coalitional abilities
• Logic and Game Theory
• Logic for update products and steps into the past
• Logic in games
• Logical dynamics of information and interaction
• Logics of communication and change
• Many-dimensional modal logics: theory and applications
• Memory and perfect recall in extensive games
• Merging frameworks for interaction
• Minimal temporal epistemic logic
• Modal logic
• Reasoning about strategies
• Reasoning with protocols under imperfect information
• Some comments on history based structures
• Structures for epistemic logic
• Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
• Temporal languages for epistemic programs
• Tense logic and time
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The logic of public announcements, common knowledge, and private suspicions
• The tree of knowledge in action: towards a common perspective
• What can machines know?
• What one may come to know

Cited in

(6)

• Accumulation and obsolescence of research knowledge
• scientific article; zbMATH DE number 1839440 (Why is no real title available?)
• Tools for constructing chronologies. Crossing disciplinary boundaries
• Knowledge and local actions
• scientific article; zbMATH DE number 4174380 (Why is no real title available?)
• Logics of temporal-epistemic actions

This page was built for publication: Temporal Aspects of the Dynamics of Knowledge

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