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

View PDF

Download Links

by Mark Kaminski , Gert Smolka
Citations:14 - 4 self