Assertion: justification | /r/HasProperty | incorporated into the foundation
Facets:
value: for epistemic modal logic
type: OTHER
value: safely
type: MANNER
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.