POSTPONED: Protocols in Dynamic Epistemic Logic
Facultatea de Matematica si Informatica, sala 202POSTPONED UNTIL FURTHER NOTICE. Speaker: Alexandru Dragomir (University of Bucharest) Title: Protocols in Dynamic Epistemic Logic Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning