CV Lattes
ORCID
Abstract
Throughout history, logicians have proposed several formalizations for the notion of belief. One of the main challenges is that, unlike knowledge or truth, beliefs are dynamic and are constantly revised and changed. In this context, Dynamic Epistemic Logics, using multimodalities, formalize both beliefs and belief-changing operations with necessity operators. Another option presented was …