scientific article; zbMATH DE number 6108061
From MaRDI portal
Publication:4648829
zbMath1261.03081MaRDI QIDQ4648829
Barteld P. Kooi, Hans P. van Ditmarsch
Publication date: 16 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
epistemic logicinformation statesdynamic operatorsdynamics in a multi-agent settingepistemic changesinformation changing eventsontic changes
Related Items (27)
Logics of Rational Interaction ⋮ Learning Actions Models: Qualitative Approach ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Epistemic planning with attention as a bounded resource ⋮ How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation ⋮ Conditional Epistemic Planning ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ To be announced ⋮ Epistemic planning: perspectives on the special issue ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ An epistemic separation logic with action models ⋮ The language of social software ⋮ Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Arrow update synthesis ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention ⋮ A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks ⋮ Intensional protocols for dynamic epistemic logic ⋮ Rethinking epistemic logic with belief bases ⋮ Minimal Revision and Classical Kripke Models ⋮ Dynamic logic of legal competences ⋮ Introspective forgetting ⋮ Copy and remove as dynamic operators
This page was built for publication:
