Dynamic Epistemic Logic (book by Johan van Benthem)

GPTKB entity