TY - RPRT TI - Analytic Tableaux for Justification Logics AU - Meghdad Ghari PY - 2016 UR - https://arxiv.org/abs/1606.03562 ID - 1606.03562 ER -