Ascent++
Search
modal logic
subgroup of
logic
,
2
assertions
CapableOf
1
deal with the modes of …
0.68
ReceivesAction
1
used in fitch's paradox
0.68