Ty2 revisited
Abstract
We provide a translation of Hybrid Logic into Gallin's Ty2.
Domains
Computer Science [cs]
Origin : Files produced by the author(s)