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]
@inproceedings{BlackburnBK23,
title = {An Axiom System for Basic Hybrid Logic with Propositional Quantifiers},
author = {Patrick Blackburn and Torben Braüner and Julie Lundbak Kofod},
year = {2023},
doi = {10.1007/978-3-031-39784-4_8},
url = {https://doi.org/10.1007/978-3-031-39784-4_8},
researchr = {https://researchr.org/publication/BlackburnBK23},
cites = {0},
citedby = {0},
pages = {118-134},
booktitle = {Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
editor = {Helle Hvid Hansen and Andre Scedrov and Ruy J. G. B. de Queiroz},
volume = {13923},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-39784-4},
}