DS-2006-08: Products of Topological Modal Logics

DS-2006-08: Sarenac, Darko (2006) Products of Topological Modal Logics. Doctoral thesis, University of Amsterdam.

[thumbnail of Full Text] 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 View Item