Assertion: modal logic | /r/HasProperty | founded
Facets:
Source sentences:
text: It follows that modal logics should be founded on \(M\), the system that results from adding \((M)\) to \(\bK\).