Publisher Summary This chapter discusses the proof theory, expressivity, and complexity of
a number of the well-known hybrid logics and provides a snapshot of the logical territory …

Despite historical links between the foundations of mathematics and development of
axiomatic geometry, substantial logics for significant spatial structures have been scarce …

Publisher Summary This chapter discusses the semantic ideas underlying modern modal
logic, and in particular, Kripke semantics—or relational semantics. It introduces the basic …

We investigate the topological interpretation of modal logic in modern terms, using a new
notion of bisimulation. We look at modal logics with interesting topological content …

We consider two topological interpretations of the modal diamond—as the closure operator
(C-semantics) and as the derived set operator (d-semantics). We call the logics arising from …

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 …

In the pioneering article and two papers, written jointly with McKinsey, Tarski developed the
so-called algebraic and topological frameworks for the Intuitionistic Logic and the Lewis …

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 …

This handbook chapter explores some themes which relate general topology and epistemic
logic. The leading ideas are:(1) to review the connection between the modal logic S4 and …

The Goldblatt-Thomason Theorem for Coalgebras Page 1 The Goldblatt-Thomason Theorem
for Coalgebras Alexander Kurz1,⋆ and Jirı Rosický2,⋆⋆ 1 University of Leicester, UK 2 Masaryk …