Author

H. van Ditmarsch

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Sep 2026

Reasoning about the past in epistemic logic with separation

It is shown that, if the horizon of epistemic actions is bounded, the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities.

H. van Ditmarsch, D. Galmiche · Synthese · 0 citations