> Formal Systems is the study of logical systems themselves. Ruliology is a study of what actual systems do.

Assuming that you mean the same thing by "logical systems" and "actual systems", then Ruliology must fall under Formal Systems as a sub-discipline? Since studying "what these things do" is a subset of studying "these things themselves". And grounded on it.

If not, then what's the difference between "logical" and "actual" systems?