A unifying theorem for algebraic semantics and dynamic logics.

Hajnal Andrka, Irne Guessarian, Istvn Nmeti

Browse the full FCT paper archive.