In everyday life, people get lost even when they have the map: they simply may not know
where they are in the map. However, when moving forward they may have new observations …

We develop an algebraic modal logic that combines epistemic and dynamic modalities with
a view to modelling information acquisition (learning) by automated agents in a changing …

In this thesis I investigate the idea of modeling epistemic updates as static modal operators. I
discuss Extended Model Semantics for Dynamic Epistemic Logics, specifically Action Model …

This paper provides an axiomatic characterization of Galois connections by means of a
sound and complete system for a multi-modal language. Semantically, our frames consist of …

This paper provides an axiomatic characterization of Galois connections by means of a
sound and complete system for a multi-modal language. Semantically, our frames consist of …

In everyday life, people get lost even when they have the map: they simply may not know
where they are in the map. However, when moving forward they may have new observations …