Indrzejczak A. Simple cut elimination proof for hybrid logic. LLP [Internet]. 2016 Apr. 4 [cited 2024 Apr. 25];25(2):129-41. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2016.004