PP-2006-08: Modal Logics of Space

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

[img]
Preview
Text (Full Text)
PP-2006-08.text.pdf

Download (845kB) | Preview
[img] Text (Abstract)
PP-2006-08.abstract.txt

Download (630B)

Abstract

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 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