Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.682201
Title: Two-dimensional modal logics with difference relations
Author: Hampson, Christopher Samuel
ISNI:       0000 0004 5923 2666
Awarding Body: King's College London
Current Institution: King's College London (University of London)
Date of Award: 2016
Availability of Full Text:
Access through EThOS:
Access through Institution:
Abstract:
In this thesis, we explore various computational and axiomatisation problems relating to two-dimensional modal logics that exhibit some modest capacity to count. In particular, we consider modal products in which at least one component is the logic of difference (inequality) relations. These formalisms are connected with finite variable fragments of first-order logic and first-order modal logics, extended with some additional counting~quantifiers. The contributions provided herein serve as a case study to better steer investigation into more general principles governing the interactions between modal logics, and into understanding the interactions between first-order quantifiers.
Supervisor: Kurucz, Agnes Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.682201  DOI: Not available
Share: