TY  - RPRT
TI  - Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
AU  - Sonia Marin
AU  - Paaras Padhiar
PY  - 2025
UR  - https://arxiv.org/abs/2507.09427
ID  - 2507.09427
ER  -