TY  - RPRT
TI  - Labeled Sequent Calculus and Countermodel Construction for Justification Logics
AU  - Meghdad Ghari
PY  - 2014
DO  - 10.1016/j.apal.2016.08.006
UR  - https://arxiv.org/abs/1401.1065
ID  - 1401.1065
ER  -