Canonical calculi with (n,k)-ary quantifiers

Arnon Avron Anna Zamansky

Published in: CoRR (2008)

Keyphrases

sequent calculi
first order logic
qualitative spatial and temporal reasoning
information systems
multi agent
canonical form
real time
case study
three dimensional
lower bound
artificial neural networks
special case
spatial relations
qualitative spatial