automated theorem proving, axiomatization, distributed hybrid systems, Metric Temporal Logic, proof calculus, quantified dynamic logic.