Daniel Gâinâ. Birkhoff style calculi for hybrid logics. Formal Asp. Comput., 29(5):805-832, 2017. [doi]
@article{Gaina17-0, title = {Birkhoff style calculi for hybrid logics}, author = {Daniel Gâinâ}, year = {2017}, doi = {10.1007/s00165-016-0414-y}, url = {https://doi.org/10.1007/s00165-016-0414-y}, researchr = {https://researchr.org/publication/Gaina17-0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {29}, number = {5}, pages = {805-832}, }