Examples:
Situational calculus
Event calculus
Predicate calculus
Propositional calculus
Fluent calculus
Lambda calculus