Terminating tableau systems for hybrid logic with difference and converse (0)

by M Kaminski, G Smolka
Venue:Journal of Logic, Language and Information