Assertion: logic's operator | /r/AtLocation | the language
Facets:
value: in a modal setting
type: OTHER
Source sentences:
text: In a modal setting, an operator \([!\psi]\) can be added to the language, such that \(M,w\models