scientific article; zbMATH DE number 7471709

MaRDI QIDQ5028475

Hans P. van Ditmarsch, Tim French

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/1712.05310

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

To be announced ⋮ Arbitrary public announcement logic with memory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A colouring protocol for the generalized Russian cards problem
• Dynamic epistemic logic
• Reasoning about information change
• The Russian cards problem
• Bounds on secret key exchange using a random deal of cards
• Positive announcements
• The undecidability of arbitrary arrow update logic
• Epistemic planning for single- and multi-agent systems
• From Situation Calculus to Dynamic Epistemic Logic
• Putting right the wording and the proof of the Truth Lemma forAPAL
• Arbitrary Action Model Logic and Action Model Synthesis

This page was built for publication: