Assertion: modal logic | /r/HasProperty | sound
Facets:
Source sentences:
text: As the reader may have guessed from our use of ‘\(\bK\)’, it has been shown that the simplest modal logic \(\bK\) is both sound and complete for \(\bK\)-validity.