8 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Mark Kaminski, Sigurd Schneider, Gert Smolka
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thro…