Tudor Protopopescu

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 5

Top Topics

Face Verification

Interval Valued

Top Venues

J. Log. Comput.

Rev. Symb. Log.

Publications

Federico L. G. Faroldi, Tudor Protopopescu
All-Things-Considered Ought via Reasons in Justification Logic. DEON (2023)
Tudor Protopopescu
An arithmetic interpretation of intuitionistic verification. J. Log. Comput. 30 (1) (2020)
Federico L. G. Faroldi, Tudor Protopopescu
A hyperintensional logical framework for deontic reasons. Log. J. IGPL 27 (4) (2019)
Sergei N. Artëmov, Tudor Protopopescu
Intuitionistic Epistemic Logic. Rev. Symb. Log. 9 (2) (2016)
Tudor Protopopescu
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. LFCS (2016)
Tudor Protopopescu
Intuitionistic Epistemology and Modal Logics of Verification. LORI (2015)
Sergei N. Artëmov, Tudor Protopopescu
Discovering knowability: a semantic analysis. Synth. 190 (16) (2013)