Picture for Hans van Ditmarsch

Hans van Ditmarsch

LORIA Â-- CNRS, Université de Lorraine, Vandoeuvre-lès-Nancy, France

Boolean Observation Games

Add code
Feb 08, 2022
Figure 1 for Boolean Observation Games
Figure 2 for Boolean Observation Games
Figure 3 for Boolean Observation Games
Viaarxiv icon

Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts

Add code
Nov 26, 2020
Figure 1 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Figure 2 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Figure 3 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Figure 4 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Viaarxiv icon

Quantifying Notes Revisited

Add code
Apr 13, 2020
Viaarxiv icon

A Logic for Global and Local Announcements

Add code
Jul 27, 2017
Figure 1 for A Logic for Global and Local Announcements
Viaarxiv icon

Cheryl's Birthday

Add code
Jul 27, 2017
Viaarxiv icon

Asynchronous Announcements

Add code
May 13, 2017
Viaarxiv icon

True Lies

Add code
Apr 27, 2017
Figure 1 for True Lies
Viaarxiv icon

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Add code
Feb 25, 2016
Figure 1 for Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Figure 2 for Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Figure 3 for Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Figure 4 for Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Viaarxiv icon

An Introduction to Logics of Knowledge and Belief

Add code
Mar 03, 2015
Figure 1 for An Introduction to Logics of Knowledge and Belief
Figure 2 for An Introduction to Logics of Knowledge and Belief
Figure 3 for An Introduction to Logics of Knowledge and Belief
Figure 4 for An Introduction to Logics of Knowledge and Belief
Viaarxiv icon

Refinement Modal Logic

Add code
Dec 25, 2013
Figure 1 for Refinement Modal Logic
Figure 2 for Refinement Modal Logic
Figure 3 for Refinement Modal Logic
Figure 4 for Refinement Modal Logic
Viaarxiv icon