Dynamic logic
Logic in computer science
Modal logic
Graded manifold
Topology
Mathematics
Abstract algebra