Non-Iterative Modal Logics Are Coalgebraic.

Jonas Forster, Lutz Schrder

Browse the full AiML paper archive.