Login / Signup

The Lindenbaum fixed point algebra is undecidable.

V. Yu. Shavrukov
Published in: Stud Logica (1991)
Keyphrases
  • point algebra
  • qualitative temporal reasoning
  • temporal reasoning
  • interval algebra
  • qualitative spatial and temporal reasoning
  • np complete
  • path consistency
  • temporal constraints
  • modeling language
  • maximal tractable