Discovering knowability: a semantic analysis. - Sergei N. Artëmov; Tudor Protopopescu (Synth., 2013)

Intuitionistic Epistemology and Modal Logics of Verification. - Tudor Protopopescu (LORI, 2015)

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. - Tudor Protopopescu (LFCS, 2016)

Intuitionistic Epistemic Logic. - Sergei N. Artëmov; Tudor Protopopescu (Rev. Symb. Log., 2016)

A hyperintensional logical framework for deontic reasons. - Federico L. G. Faroldi; Tudor Protopopescu (Log. J. IGPL, 2019)

An arithmetic interpretation of intuitionistic verification. - Tudor Protopopescu (J. Log. Comput., 2020)

All-Things-Considered Ought via Reasons in Justification Logic. - Federico L. G. Faroldi; Tudor Protopopescu (DEON, 2023)