PP-2006-08: Modal Logics of Space

PP-2006-08: Bezhanishvili, Guram and van Benthem, Johan (2006) Modal Logics of Space. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (845kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (630B)


We survey modal logics of spatial structure in topology, starting from
classical results by Tarski and McKinsey, up to modern techniques in
modal logic, including bisimulation and specially designed extended
modal languages. Work covered includes that of several communities in
Georgia, The Netherlands, the UK, and the US. In addition, we show how
affine and metric geometry, and even mathematical morphology over
vector spaces, can be described with modal logics.

Item Type: Report
Report Nr: PP-2006-08
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: geometry; mathematical morphology; first-order logic; modal logic; topology
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/183

Actions (login required)

View Item View Item