3 citations · 3 across the 1 of their papers we have counts for
3 papers
cs.LO2017★ 3 cited
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…
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…