"Birkhoff style calculi for hybrid logics."

Daniel Gâinâ (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics