Electronic Handbook of Logics for Qualitative Reasoning
Logics for Qualitative Reasoning
Logics for Qualitative Reasoning
Logics for space (MZ & PW)
Compass logic
Spatial propositional neighborhood logic
Cone logic
Logics for time (PW)
Interval temporal logics
Halpern-Shoham logic
Linear temporal logic LTL
Logics for movements (JGP)
Logics for order-of-magnitude reasoning (JGP)
Logics for qualitative decision theory (TL)