Tableaux for First Order Logic of Proofs
  In this paper we present a tableau proof system for first order logic of proofs FOLP. We show that the tableau system is sound and complete with respect to Mkrtychev models of FOLP. 
Meghdad Ghari
math.LO