Halpern–Shoham logic

GPTKB entity