Spectral spaces are a class of topological spaces. They are a tool linking algebraic
structures, in a very wide sense, with geometry. They were invented to give a functional …

This dissertation studies logics of knowledge, belief and information dynamics using
topological spaces as models. It is concerned with the formal representation of evidence and …

Abstract Stalnaker (Philosophical Studies, 128 (1), 169–199 2006) introduced a combined
epistemic-doxastic logic that can formally express a strong concept of belief, a concept of …

We study the topological μ-calculus, based on both Cantor derivative and closure
modalities, proving completeness, decidability, and finite model property over general …

We prove that if a modal formula is refuted on a wK4-algebra (B,□), then it is refuted on a
finite wK4-algebra which is isomorphic to a subalgebra of a relativization of (B,□). As an …

The topics covered in the thesis are about intuitionistic and modal logics but also touch the
area of dynamic epistemic logic. There are two standard methods to prove the finite model …

In this chapter we overview the main structures of epistemic and doxastic logic. We start by
discussing the most celebrated models for epistemic logic, ie, epistemic Kripke structures …

We introduce a new topological semantics for belief logics in which the belief modality is
interpreted as the closure of the interior operator. We show that our semantics validates the …

This volume is dedicated to Leo Esakia's contributions to the theory of modal and
intuitionistic systems. Leo Esakia was one of the pioneers in develo** duality theory for …

The finite model property (FMP) in weakly transitive tense logics is explored. Let S=[wK t 4, K
t 4] be the interval of tense logics between wK t 4 and K t 4. We introduce the modal formula t …