Publications
Protopopescu, Tudor. “An Arithmetic Interpretation of Intuitionistic Verification.” Journal of Logic and Computation 30, no. 1 (February 2020): 381–402. https://doi.org/10.1093/logcom/exaa016.
Faroldi, Federico L. G., and Tudor Protopopescu. “A Hyperintensional Logical Framework for Deontic Reasons.” Logic Journal of the IGPL 27, no. 4 (August 2019): 411–33. https://doi.org/10.1093/jigpal/jzz012.
Faroldi, Federico L. G., and Tudor Protopopescu. “All-Things-Considered Ought via Reasons in Justification Logic.” edited by Juliano Maranhao, Clayton Peterson, Christian Strasser, and Leendert van der Torre, 257–74. College Publications, 2023. https://www.collegepublications.co.uk/downloads/DEON00004.pdf.
Student Thanks, Emails etc.
Survey
In Fall 2021 I conducted my own survey at the end of the course to better gauge how the pandemic and the shift to remote class was impacting students.
