184 citations · 617 across the 22 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008★ 92 cited
Logics for the Relational Syllogistic
Ian Pratt-Hartmann, Lawrence S. Moss
The Aristotelian syllogistic cannot account for the validity of many inferences involving relational facts. In this paper, we investigate the prospects for providing a relational s…
cs.LO2008★ 47 cited
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
Ian Pratt-Hartmann
The data-complexity of both satisfiability and finite satisfiability for the two-variable fragment with counting is NP-complete; the data-complexity of both query-answering and fin…