• Publications
  • Influence
Bisimulations on Planet Kripke
Reasoning about Information Change
TLDR
We introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Expand
Dynamic epistemic logic
TLDR
This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Expand
Merging Frameworks for Interaction
TLDR
This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. Expand
Dynamic Update with Probabilities
TLDR
We present a complete dynamic logic of information change with a probabilistic character for multi-agent update with three natural slots. Expand
Merging frameworks for interaction: DEL and ETL
TLDR
This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow in multiagent systems. Expand
Reasoning about action and cooperation
TLDR
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs. Expand
The Surprise Examination in Dynamic Epistemic Logic
  • J. Gerbrandy
  • Mathematics, Computer Science
  • Synthese
  • 1 March 2007
TLDR
We examine the paradox of the surprise examination using dynamic epistemic logic, and show how the failure of principle of success, that states that sentences, when learned, remain to be true and come to be believed, plays a central role in understanding the puzzle. Expand
Oral, rectal and oesophageal temperatures and some factors affecting them in man
It is now well known that there is no single body temperature and that the temperature of different tissues may vary widely. Nevertheless, the relative constancy of temperatures recorded in theExpand
Logics of propositional control
TLDR
The 'Cooperation Logic of Propositional Control', CL-PC, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a certain state of affairs in a situation in which each of the agents controls a number of propositional variables. Expand
...
1
2
3
4
5
...