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

Cached

Download Links

by Mark Kaminski , Gert Smolka
Citations:9 - 2 self