Dynamic Epistemic Logic (1999)

by J Gerbrandy
Venue:In Logic, Language and Computation