18 citations · 46 across the 8 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
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★ 15 cited
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Chad E. Brown, Gert Smolka
We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction…
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…