FOTL

Medical abbreviations:
FOTL

First Order Temporal Logic