Dynamic epistemic logics of introspection

DOI10.1007/978-3-319-73579-5_6MaRDI QIDQ1742622zbMATH OpenOpenAlexFDO

Authors 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

dynamic epistemic logicepistemic logicnegative introspectionpositive introspection

Mathematics Subject Classification ID

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

Recommendations

• Introspection as an action in relational models
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• The many faces of closure and introspection. An ineractive perspective
• Dynamic epistemic logic
• Dynamic epistemic logics

Cited in

(10)

• The many faces of closure and introspection. An ineractive perspective
• Introspection as an action in relational models
• Verification of dynamic bisimulation theorems in Coq
• The dynamic turn in formal epistemology: the case of explanatory reasoning
• The surprise examination paradox in dynamic epistemic logic
• Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
• Justifications, Awareness and Epistemic Dynamics
• Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness
• Knowledge and local actions
• Copy and remove as dynamic operators

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

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