In Virginie Fiutek's dissertation, the focus is on Soft Dynamic Epistemic Logic. Epistemic logic is a form of modal logic in which knowledge can be modelled. Soft Dynamic Epistemic Logic was introduced to deal with a number of information phenomena such as belief revision. Fiutek expands this logic to include ‘belief contraction’, which she uses to create a framework for the study of belief revision.
V. Fiutek, Playing with Knowledge and Belief.
Prof. F.J.M.M. Veltman
Dr S.J.L. Smets
This event will be open to the public.