Assertion: epistemic logic | /r/HasProperty | \(\box f \rightarrow f\
Facets:
Source sentences:
text: The Factivity Axiom has a similar motivation to the Truth Axiom of Epistemic Logic, \(\Box F \rightarrow F\), which is widely accepted as a basic property of knowledge.