Dynamic epistemic logics of introspection

DOI10.1007/978-3-319-73579-5_6zbMath1499.03013OpenAlexW2782335259MaRDI QIDQ1742622

Raul Fervari, Fernando Raymundo Velázquez-Quesada

Publication date: 12 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-73579-5_6

zbMATH Keywords

epistemic logicdynamic epistemic logicnegative introspectionpositive introspection

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

Introspection as an action in relational models ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Copy and remove as dynamic operators

This page was built for publication: Dynamic epistemic logics of introspection