A complete tableau system for basic hybrid logic with propositional quantification. - Kofod, Julie Lundbak; Blackburn, Patrick; Braüner, Torben (Logic Journal of the IGPL, 2026)