184 citations · 617 across the 22 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 29 cited
The Hamiltonian Syllogistic
Ian Pratt-Hartmann
This paper undertakes a re-examination of Sir William Hamilton's doctrine of the quantification of the predicate. Hamilton's doctrine comprises two theses. First, the predicates of…
cs.LO2010★ 44 cited
Spatial logics with connectedness predicates
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter +1
We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedne…