TY  - RPRT
TI  - Tableau Proof Systems for Justification Logics
AU  - Meghdad Ghari
PY  - 2016
DO  - 10.1215/00294527-2024-0005
UR  - https://arxiv.org/abs/1405.1828
ID  - 1405.1828
ER  -