Assertion: propositional logic | /r/CapableOf | form a family of related systems
Facets:
Source sentences:
text: Although provability logics form a family of related systems, the system \(\mathbf{GL}\) is by far the best known.