Bridges between dynamic doxastic and doxastic temporal logics

DOI10.1007/978-3-642-15164-4_8MaRDI QIDQ3584874zbMATH OpenOpenAlexFDO

Authors Cédric Dégremont, Johan van Benthem

Publication date 31 August 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15164-4_8

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Temporal interaction of information and belief
• A qualitative theory of dynamic interactive belief revision
• A qualitative theory of dynamic interactive belief revision
• Prolegomena to dynamic logic for belief revision
• Dynamic logic for belief revision

Cited in

(8)

• Modeling reasoning in a social setting
• Intensional protocols for dynamic epistemic logic
• Logics of rational interaction
• Belief change in branching time: AGM-consistency and iterated revision
• Logic and learning
• Logic and Game Theory
• Finite identification from the viewpoint of epistemic update
• Merging DEL and ETL

This page was built for publication: Bridges between dynamic doxastic and doxastic temporal logics

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