Bridges between Dynamic Doxastic and Doxastic Temporal Logics

DOI10.1007/978-3-642-15164-4_8zbMath1287.03042OpenAlexW1656091372MaRDI QIDQ3584874

Cédric Dégremont, J. F. A. K. 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

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

Related Items (8)

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

This page was built for publication: Bridges between Dynamic Doxastic and Doxastic Temporal Logics