L {ω 1,ω} logic

GPTKB entity