Jonathan Payne

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 1

Top Topics

Logical Framework

Prime Implicates

Natural Deduction

Top Venues

J. Philos. Log.

Notre Dame J. Formal Log.

Publications

Zhouzhou Gu, Mathieu Laurière, Sebastian Merkel, Jonathan Payne
Global Solutions to Master Equations for Continuous Time Heterogeneous Agent Macroeconomic Models. CoRR (2024)
Jonathan Payne
Extensionalizing Intensional Second-Order Logic. Notre Dame J. Formal Log. 56 (1) (2015)
Jonathan Payne
Natural Deduction for Modal Logic with a Backtracking Operator. J. Philos. Log. 44 (3) (2015)
Brian DeRenzi, Benjamin E. Birnbaum, Leah Findlater, Joachim Mangilima, Jonathan Payne, Tapan S. Parikh, Gaetano Borriello, Neal Lesh
Improving community health worker performance through automated SMS. ICTD (2012)