first-order modal logic

GPTKB entity