Journal article
Proof Theory for Functional Modal Logic
Shawn Standefer
STUDIA LOGICA | SPRINGER | Published : 2018
Grants
Awarded by Australian Research Council
Funding Acknowledgements
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.