Latest Past Events

POSTPONED: Protocols in Dynamic Epistemic Logic

Facultatea de Matematica si Informatica, sala 202

POSTPONED 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