Subgroup list for primary subject logic
Results from Ascent++: 3
formal logic 3
modal logic 2
inductive logic 1