Hybrid Logics on Linear Structures: Expressivity and Complexity.

Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff

Browse the full TIME paper archive.