Assertion: modal logic | /r/HasProperty | logic
Facets:
value: namely
type: OTHER
Source sentences:
text: The following diagram shows the relationships between the best known modal logics, namely logics that can be formed by adding a selection of the axioms \((D), (M)\), (4), \((B)\) and (5) to \(\bK\).