Proof Theory for Functional Modal Logic
STUDIA LOGICA | SPRINGER | Published : 2018
Related Projects (1)
Awarded by Australian Research Council
I am very grateful to Anil Gupta, Nuel Belnap, Greg Restall, Kohei Kishida, and Rohan French for their feedback on various stages of this work. I would also like to thank the anonymous referee for extensive feedback that greatly clarified the paper. This research was supported by the Australian Research Council, Discovery Grant DP150103801.