TY  - RPRT
TI  - A Coalgebraic Semantics for Intuitionistic Modal Logic
AU  - Rodrigo Nicolau Almeida
AU  - Nick Bezhanishvili
PY  - 2024
UR  - https://arxiv.org/abs/2406.10649
ID  - 2406.10649
ER  -