Sahlqvist theory for hybrid logic
Balder ten Cate, M. Marx, Petrúcio Viana · 2004
All these aspects are combined in the work he did in the last phase of his career: the master of logic program at the ILLC. The dialogue between the world —embodied in the highly mixed group of foreign students— and the ILLC has been enormously beneficial for both sides. We do not exaggerate if we say that the lives of all three authors of this little work have been enormously enriched through this part of Dick’s work.