Hans van Ditmarsch
Biographic Data
| ID | 5995582 |
|---|---|
| NAME | Hans van Ditmarsch |
| GIVEN NAMES | Hans |
| FAMILY NAME | van Ditmarsch |
| SIGNATURE | VAN DITMARSCH H |
| AFFILIATIONS | University of Otago |
| ORCID | 0000-0003-4526-8687 |
| VERIFIED | Yes |
| TOTAL WORKS | 12 |
| TOTAL CITATIONS | 12 |
| AUTHOR COUNT | 12 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2006 |
| LATEST PUBLICATION YEAR | 2018 |
| H-INDEX | 2 |
True lies
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
One Hundred Prisoners and a Light Bulb
"A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between int…
Dynamics of lying
Everything is Knowable – How to Get to Know Whether a Proposition is True
Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable . Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore‐sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful . Fitch's and Moore's results are related, as they equally apply to standard notions of knowl…
A Theoria Round Table on Philosophy Publishing
As part of the conference commemorating Theoria's 75th anniversary, a round table discussion on philosophy publishing was held in Bergendal, Sollentuna, Sweden, on 1 October 2010. Bengt Hansson was the chair, and the other participants were eight editors‐in‐chief of philosophy journals: Hans van Ditmarsch (Journal of Philosophical Logic), Pascal Engel (Dialectica), Sven Ove Hansson (Theoria), Vincent Hendricks (Synthese), Søren Holm (Journal of M…
Introspective forgetting
Logic of change, change of logic
Dynamic Epistemic Logic
My beliefs about your beliefs: A case study in theory of mind and epistemic logic
The Secret of My Success
The Secret of My Success
The Secret of My Success
The Secret of My Success
My beliefs about your beliefs: A case study in theory of mind and epistemic logic
Dynamic Epistemic Logic
Introspective forgetting
Logic of change, change of logic
A Theoria Round Table on Philosophy Publishing
As part of the conference commemorating Theoria's 75th anniversary, a round table discussion on philosophy publishing was held in Bergendal, Sollentuna, Sweden, on 1 October 2010. Bengt Hansson was the chair, and the other participants were eight editors‐in‐chief of philosophy journals: Hans van Ditmarsch (Journal of Philosophical Logic), Pascal Engel (Dialectica), Sven Ove Hansson (Theoria), Vincent Hendricks (Synthese), Søren Holm (Journal of M…
Everything is Knowable – How to Get to Know Whether a Proposition is True
Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable . Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore‐sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful . Fitch's and Moore's results are related, as they equally apply to standard notions of knowl…
Dynamics of lying
One Hundred Prisoners and a Light Bulb
"A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between int…
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
True lies
Epistemology (10 works) · Logic, Reasoning, and Knowledge (10 works) · Philosophy (10 works) · Multi-Agent Systems and Negotiation (8 works) · Philosophy of language (8 works) · Computer Science (7 works) · Metaphysics (7 works) · Philosophy of science (7 works) · Mathematics (5 works) · Epistemic modal logic (4 works)