Duality for Logics of Transition Systems.

Marcello M. Bonsangue, Alexander Kurz

Browse the full FOSSACS paper archive.