PP-2006-08: Bezhanishvili, Guram and van Benthem, Johan (2006) Modal Logics of Space. [Report]
Preview |
Text (Full Text)
PP-2006-08.text.pdf Download (845kB) | Preview |
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 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 |