Neighborhood models generalize the well-known relational models, or Kripke models, for
modal logic. Although the idea underlying neighborhood models is implicit in the seminal …

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 …

REFLECTION AND INDESCRIBABILITY IN THE CONSTRUCTIBLE UNIVERSE Page 1
ISRAEL JOURNAL OF MATHEMATICS 208 (2015), 1–11 DOI: 10.1007/s11856-015-1191-7 …

Provability logic GLP is well-known to be incomplete wrt Kripke semantics. A natural
topological semantics of GLP interprets modalities as derivative operators of a …

We study the transfinite sequence of topologies on the ordinal numbers that is obtained
through successive closure under Cantor's derivative operator on sets of ordinals, starting …

For each $ n\in\mathbb {N} $, let $[n]\phi $ mean" the sentence $\phi $ is true in all $\Sigma_
{n+ 1} $-correct transitive sets." Assuming G\" odel's axiom $ V= L $, we prove the following …

In this article, we tell a story about incompleteness in modal logic. The story weaves together
an article of van Benthem (1979),“Syntactic aspects of modal incompleteness theorems,” …

Both early analytic philosophy and the branch of mathematics now known as topology were
gestated and born in the early part of the 20th century. It is not well recognized that there …