Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.

Mark Kaminski, Sigurd Schneider, Gert Smolka

Browse the full TABLEAUX paper archive.