modal logic S4

GPTKB entity