Assertion: justification logic | /r/HasProperty | analog of the modal logic
Facets:
Source sentences:
text: Simply by adding reflexivity of the accessibility relation \(\mathcal{R}\) to the conditions for a model in Section 3.1, one gains the validity of \(t{:}X \rightarrow X\) for every \(t\) and \(X\), and obtains a semantics for \(\mathsf{JT}\), the justification logic analog of the modal logic \({\textsf{T}}\), the weakest logic of knowledge.