A Paradigm for Program Semantics: Power Structures and Duality

A coalgebraic view on positive modal logic

Theoretical Computer Science - Selected papers of CMCS'03

Coalgebras and their logics

ACM SIGACT News

A Duality for Algebras of Lattice-Valued Modal Logic

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation

Structures with Multirelations, their Discrete Dualities and Applications

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa

Relational semantics through duality

RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra

Monotone predicate transformers as up-closed multirelations

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra

Dualities for Algebras of Fitting's Many-Valued Modal Logics

Fundamenta Informaticae - Logic, Language, Information and Computation