Tudor Protopopescu

Tudor Protopopescu

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