Journal article

Proof Theory for Functional Modal Logic

Shawn Standefer

STUDIA LOGICA | SPRINGER | Published : 2018


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.