Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod. An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. In Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Volume 13923 of Lecture Notes in Computer Science, pages 118-134, Springer, 2023. [doi]
Abstract is missing.