28 citations · 57 across the 12 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
Analytic Tableaux for Justification Logics
Meghdad Ghari
In this paper we present analytic tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models.…
math.LO2016
Tableaux for First Order Logic of Proofs
Meghdad Ghari
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…