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

Cached

Download Links

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