Sequent calculus for hybrid logic - Norgėla, Stanislovas; Šalaviejienė, Anželika (Lietuvos matematikos rinkinys, 2023)
There is not abstract