Terminating tableaux for hybrid logic with the difference modality and converse (2008)

Cached

Download Links

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