TY  - RPRT
TI  - Local Intuitionistic Modal Logics and Their Calculi
AU  - Philippe Balbiani
AU  - Han Gao
AU  - Çiğdem Gencer
AU  - Nicola Olivetti
PY  - 2024
UR  - https://arxiv.org/abs/2403.06772
ID  - 2403.06772
ER  -