Hyperintensional Models and Belief Change.

Formal frameworks for Epistemology need to have enough logical structure to enable interesting conclusions regarding epistemic phenomena and to be expressive enough to model competing positions in the philosophical and logical literature. While beliefs are commonly accepted as hyperintensional attitudes, most work on standard epistemic logic has relied on idealised and intensional agents. This is particularly true in the area of AGM-inspired Belief Change. In this work, we investigate hyperintensional belief change operations providing a semantic framework based on impossible worlds semantics to hyperintensional variants of belief change operations. In doing so, we provide the basis for deepening the connection between AGM-inspired Belief Change literature and current discussions on Formal Epistemology and Metaphysics.