Coalgebras for an endofunctor T can be seen as a generalisation of transition systems. Since coalgebras are dual to algebras and the logic of algebras is equational logic, one can ask: what, then, is coalgebraic logic? A successful approach to study these structures comes from Stone duality. In my talk I would like to present some results concerning this approach and sketch some open problems related to it.