Assertion: logic | /r/HasProperty | axiomatized with sahlquist formulas
Facets:
Source sentences:
text: We speculate that all logics axiomatized with Sahlquist formulas will have justification counterparts, but this remains a conjecture at this point.