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 …

In this paper we introduce public announcements to Subset Space Logic (SSL). In order to
do this we have to change the original semantics for SSL a little and consider a weaker …

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

The logic of public announcements has received great interest in recent years. In this paper
we give an account of public announcements in terms of the semantics of subset space logic …

We propose a multi-agent logic of knowledge, public announcements and arbitrary
announcements, interpreted on topological spaces in the style of subset space semantics …

Subset space logics have been introduced and studied as a framework for reasoning about
a notion of effort in epistemic logic. The seminal Subset Space Logic (SSL) by Moss and …

Lakatos's seminal work Proofs and Refutations introduced the methods of proofs and
refutations by discussing the history and methodological development of Euler's formula V …

Subset space semantics for public announcement logic in the spirit of the effort modality
have been proposed by Wang and Ågotnes 18 and by Bjorndahl 6. They propose to model …

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 …