Coalgebraic Semantics for Intuitionistic Modal Logic.

Rodrigo Nicolau Almeida, Nick Bezhanishvili

Browse the full AiML paper archive.