Proof complexity of modal resolution systems. - Sarah Elizabeth Sigley (2019)