Temporal Aspects of the Dynamics of Knowledge

DOI10.1007/978-3-319-06025-5_9zbMATH Open1431.03029OpenAlexW45340037MaRDI QIDQ5249672FDOQ5249672

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Accumulation and obsolescence of research knowledge
• Title not available (Why is that?)
• Tools for constructing chronologies. Crossing disciplinary boundaries
• Knowledge and local actions
• Title not available (Why is that?)
• 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)