Canonicity results for mu-calculi: an algorithmic approach.

Willem Conradie Andrew Craig

Published in: CoRR (2014)

Keyphrases

sequent calculi
development environment
qualitative spatial and temporal reasoning
qualitative spatial reasoning
information retrieval
spatial relations