Proof Theory for Functional Modal Logic

Grants

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.