Graph Granularity through Bi-intuitionistic Modal Logic

Sindoni, Giulia ORCID: https://orcid.org/0000-0003-4003-2317 (2020) Graph Granularity through Bi-intuitionistic Modal Logic. PhD thesis, University of Leeds.

Abstract

Metadata

Related URLs:
Keywords: modal logic, intuitionistic logic, qualitative spatial reasoning
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.826706
Depositing User: Miss Giulia Sindoni
Date Deposited: 24 Mar 2021 15:19
Last Modified: 11 May 2021 09:53

Share / Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.