Dynamic Epistemic Logic (book, 2007)

GPTKB entity