Assertion: logic | /r/HasAspect | justification counterparts
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.