June 9th at 17:00, in SP C1.110
ABSTRACT: While possible worlds can be seen as the semantic backbone of epistemic logic, they can be tedious to deal with. In this talk I introduce epistemic presentations, a kind of structure wherein "issues on the table" are primitive objects and possible worlds are only derivative. In addition to be more flexible, these models lend themselves to an interesting algebraic approach and provide inspiration for new dynamic operators. LOCATION: We have a room in the big building of Science Park (house 904, room SPC1.110) with corona capacity 44. The talk will also be streamed live on Zoom. For the Zoom address, please email coollogic.uva@gmail.com.