DS-2006-08: Sarenac, Darko (2006) Products of Topological Modal Logics. Doctoral thesis, University of Amsterdam.
Text (Full Text)
DS-2006-08.text.pdf Download (1MB) |
Abstract
This thesis is about logic of space. In it we use various techniques
of modal logic and topology to devise a class of increasingly stronger
logics of space. The underlying intuition is that for lots of
applications spatial intuition and spatial reasoning seem basic. And
this not only in applications such as guiding robots or automated
vehicles through real three-dimensional space, but also for such
diverse applications as reasoning about knowledge, processing and
updating of information. The thesis makes some initial steps in
understanding the structure of space with efficient languages of modal
logic, with an ultimate aim of applying them to cognitive settings.
Item Type: | Thesis (Doctoral) |
---|---|
Report Nr: | DS-2006-08 |
Series Name: | ILLC Dissertation (DS) Series |
Year: | 2006 |
Subjects: | Language Logic |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 14 Jun 2022 15:16 |
Last Modified: | 14 Jun 2022 15:16 |
URI: | https://eprints.illc.uva.nl/id/eprint/2055 |
Actions (login required)
View Item |