Electronic Handbook of Logics for Qualitative Reasoning

  • Logical preliminaries
    • First order logic
    • Relational logics
    • Modal logics
    • Proof methods
  • Qualitative Representation
    • Qualitative spatial reasoning
    • Qualitative force propagation analysis
    • Qualitative stability checking
    • Qualitative physics
    • Region Connection Calculus
    • Allens's Interval Algebra
  • Logics for Qualitative Reasoning
    • Logics for space
      • Compass logic
      • Spatial propositional neighborhood logic
      • Cone logic
    • Logics for time
      • Halpern-Shoham logic
      • Linear temporal logic LTL
    • Logics for movements
    • Logics for order-of-magnitude reasoning
    • Logics for qualitative decision theory
  • Applications