![](/img/cover-not-exists.png)
Hybrid Logic: Dedicated to the Memory of Volker Weber || Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Mark Kaminski and Gert SmolkaVolume:
18
Language:
english
Journal:
Journal of Logic, Language, and Information
DOI:
10.2307/40345505
Date:
January, 2009
File:
PDF, 1.93 MB
english, 2009