Tudor Protopopescu February 23, 2014 Tudor Protopopescu CUNY Graduate Center Tudor Protopopescu has 3 talks in our database: Computational Logic Seminar December 1, 2015 An Arithmetical Interpretation of Verification and Intuitionistic Knowledge Computational Logic Seminar April 8, 2014 Modeling Intuitionistic Epistemic Logic via Provability and Verification (joint work with S. Artemov) Computational Logic Seminar February 25, 2014 From Intuitionistic Epistemic Logic to a constructive resolution of the Knowability Paradox (joint work with S. Artemov) CUNYNew York