Branching time logic

GPTKB entity