Abstract Data Types Abstract State Machines Generalized Quantifiers

Grammar Formalisms Graphs Hypersets

Modal Logic Recursion/Corecursion Situation Theory