3 citations · 4 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Justification logics with counterfactual and relevant conditionals
Meghdad Ghari
The purpose of this paper is to introduce justification logics based on conditional logics. We introduce a new family of logics, called conditional justification logics, which inco…
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…