Tatiana Yavorskaya

Learn More
The propositional logic of proofs LP revealed an explicit provability reading of modal logic S4 which provided an indented provability semantics for the propositional intuitionistic logic IPC and led to a new area, Justification Logic. In this paper, we find the first-order logic of proofs FOLP capable of realizing first-order modal logic S4 and, therefore,(More)
The Logic of Proofs LP solved long standing Gödel's problem concerning his provability calculus (cf. [4]). It also opened new lines of research in proof theory, modal logic, typed programming languages, knowledge representation, etc. The propositional logic of proofs is de-cidable and admits a complete axiomatization. In this paper we show that the first(More)