Assertion: logic's operator | /r/HasProperty | one per agent
Facets:
Source sentences:
text: The corresponding logical language for epistemic constraint models is the same as for basic constraint models, expanded with the \(K_i\) modal operators, one per agent.