first-order dynamic logic

GPTKB entity