8 citations · 18 across the 10 of their papers we have counts for
Showing 2010 · cs.LOShow all
2 papers · 2 filters
cs.LO2010★ 8 cited
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
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…
cs.LO2010★ 1 cited
A Minimal Propositional Type Theory
Mark Kaminski, Gert Smolka
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show t…