8 citations · 9 across the 3 of their papers we have counts for
1 paper · 2 filters
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…