Computer science
Epistemic modal logic
Process (computing)
Domain (mathematical analysis)
Constraint (computer-aided design)
Modalities
Spatial intelligence
Process calculus
Spatial analysis
Theoretical computer science
Artificial intelligence
Mathematics
Programming language
Description logic
Sociology
Mathematical analysis
Social science
Geometry
Multimodal logic
Statistics
