Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.702839
Title: Studies on modal logics of time and space
Author: Gatto, Alberto
ISNI:       0000 0004 6059 3143
Awarding Body: Imperial College London
Current Institution: Imperial College London
Date of Award: 2016
Availability of Full Text:
Access through EThOS:
Full text unavailable from EThOS. Please try the link below.
Access through Institution:
Abstract:
This dissertation presents original results in Temporal Logic and Spatial Logic. Part I concerns Branching-Time Logic. Since Prior 1967, two main semantics for Branching-Time Logic have been devised: Peircean and Ockhamist semantics. Zanardo 1998 proposed a general semantics, called Indistinguishability semantics, of which Peircean and Ockhamist semantics are limit cases. We provide a finite axiomatization of the Indistinguishability logic of upward endless bundled trees using a non-standard inference rule, and prove that this logic is strongly complete. In Part II, we study the temporal logic given by the tense operators F for future and P for past together with the derivative operator < d >, interpreted on the real numbers. We prove that this logic is neither strongly nor Kripke complete, it is PSPACE-complete, and it is finitely axiomatizable. In Part III, we study the spatial logic given by the derivative operator < d > and the graded modalities {◇n|n Ε N}. We prove that this language, call it L, is as expressive as the first-order language Lt of Flum and Ziegler 1980 when interpreted on T3 topological spaces. Then, we give a general definition of modal operator: essentially, a modal operator will be defined by a formula of Lt with at most one free variable. If a modal operator is defined by a formula predicating only over points, then it is called point-sort operator. We prove that L, even if enriched with all point-sort operators, however enriched with finitely many modal operators predicating also on open sets, cannot express Lt on T2 spaces. Finally, we axiomatize the logic of any class between all T1 and all T3 spaces and prove that it is PSPACE-complete.
Supervisor: Hodkinson, Ian ; Huth, Michael Sponsor: Engineering and Physical Sciences Research Council ; University of Padova
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.702839  DOI: Not available
Share: