TY  - RPRT
TI  - A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
AU  - Philippe Balbiani
AU  - Han Gao
AU  - Çiğdem Gencer
AU  - Nicola Olivetti
PY  - 2023
UR  - https://arxiv.org/abs/2309.06309
ID  - 2309.06309
ER  -