Proof Complexity of Modal Resolution Systems

Sigley, Sarah Elizabeth (2019) Proof Complexity of Modal Resolution Systems. PhD thesis, University of Leeds.



Keywords: modal logic, resolution, proof complexity
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Identification Number/EthosID (e.g.
Depositing User: Miss Sarah Elizabeth Sigley
Date Deposited: 30 Jan 2020 12:07
Last Modified: 11 Mar 2020 10:54


Final eThesis - complete (pdf)

Filename: Sigley_SE_Computing_PhD_2019.pdf

Licence: Creative Commons Attribution Non-commercial Share Alike (UK)

Share / Export

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.