Meghdad Ghari

Analytic Tableaux for Justification Logics

2016 · arXiv (Cornell University)

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. In order to prove the completeness of …