An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. - Patrick Blackburn; Torben Braüner; Julie Lundbak Kofod (WoLLIC, 2023)

Prior's ideal language. - Patrick Blackburn; Torben Braüner; Julie Lundbak Kofod (Math. Struct. Comput. Sci., 2025)