Assertion: justification | /r/HasProperty | compatible
Facets:
value: with hintikka-style systems
type: OTHER
Source sentences:
text: The Correspondence Theorem tells us that justifications are compatible with Hintikka-style systems and hence can be safely incorporated into the foundation for Epistemic Modal Logic.