Rigid First-Order Hybrid Logic.

Patrick Blackburn, Manuel A. Martins, Mara Manzano, Antonia Huertas

Browse the full WoLLIC paper archive.