Dynamic Epistemic Logic (book)

GPTKB entity