TY  - RPRT
TI  - Linear Temporal Justification Logics with Past Operators
AU  - Meghdad Ghari
PY  - 2021
DO  - 10.1093/jigpal/jzab027
UR  - https://arxiv.org/abs/1809.00167
ID  - 1809.00167
ER  -