1 paper · 1 filter
Rodrigo Nicolau Almeida, Nick Bezhanishvili
We give a new coalgebraic semantics for intuitionistic modal logic with □. In particular, we provide a colagebraic representation of intuitionistic descriptive modal frames an…