Algebra and topology for logic
We study the links between syntax and semantics of logical systems with (co)-algebraic tools. Our primary interest is in the development of newu topolgocial dualities and their use in modal extension of substructiral logics.