1 paper · 2 filters
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…