Tudor Protopopescu

According to our database, Tudor Protopopescu authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

All-Things-Considered Ought via Reasons in Justification Logic.

Federico L. G. Faroldi, Tudor Protopopescu

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2020

An arithmetic interpretation of intuitionistic verification.

Tudor Protopopescu

J. Log. Comput., 2020

2019

A hyperintensional logical framework for deontic reasons.

Federico L. G. Faroldi, Tudor Protopopescu

Log. J. IGPL, 2019

2016

Intuitionistic Epistemic Logic.

Sergei N. Artëmov, Tudor Protopopescu

Rev. Symb. Log., 2016

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge.

Tudor Protopopescu

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015

Intuitionistic Epistemology and Modal Logics of Verification.

Tudor Protopopescu

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2013

Discovering knowability: a semantic analysis.

Sergei N. Artëmov, Tudor Protopopescu

Synth., 2013