scientific article; zbMATH DE number 5171591

zbMath1122.03010MaRDI QIDQ5296759

Wiebe van der Hoek, Hans P. van Ditmarsch, Barteld P. Kooi

Publication date: 16 July 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (24)

Announcements to attentive agents ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Reasoning About Belief Revision ⋮ The secret of my success ⋮ Public announcements, public assignments and the complexity of their logic ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ To be announced ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Program semantics and verification technique for AI-centred programs ⋮ A logic for binary classifiers and their explanation ⋮ Unnamed Item ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Comments to `Logics of public communications' ⋮ Interrogative belief revision based on epistemic strategies ⋮ Iterative information update and stability of strategies ⋮ What will they say? -- Public announcement games ⋮ The logic of Pit ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ A Dynamic Logic of Institutional Actions ⋮ Knowledge and Action in Semi-public Environments ⋮ Interrogative belief revision in modal logic ⋮ Taming the Complexity of Temporal Epistemic Reasoning ⋮ Dynamic Epistemic Logics

This page was built for publication: