Assertion: modal logic | /r/CapableOf | extend propositional formulas
Facets:
value: with modal operators such as \(k_{\alpha}\
type: OTHER
Source sentences:
text: Basic modal logic extends propositional formulas with modal operators such as \(K_{\alpha}\).