Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hans P. van Ditmarsch

Epistemic Logic and Information Update

2008English

Related publications

Dynamic Epistemic Logic Displayed

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Sum and Product in Dynamic Epistemic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2007English

Epistemic Logic: A Survey of the Logic of Knowledge

Principia
PhilosophyPhilosophy of ScienceHistory
2019English

Arrow Update Logic

Review of Symbolic Logic
MathematicsPhilosophyLogic
2011English

Agreement Theorems in Dynamic-Epistemic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Coalgebraic Epistemic Update Without Change of Model

English

Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Modelling Cryptographic Keys in Dynamic Epistemic Logic With DEMO

Highlights on Practical Applications of Agents and Multi-Agent Systems
2012English

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy