Assertion list
modal logic (subgroup of logic ) → ReceivesAction
Results from Ascent++: 1
modal logic → ReceivesAction → used in fitch's paradox 0.68