Assertion: truth's consequence | /r/HasProperty | leigh
Facets:
Source sentences:
text: The resulting theory still bears a strong resemblance to FS in that the constructive version of the rule-of-revision semantics for all finite levels provides a natural model of the theory, and the two theories share the same \(\Pi^{0}_2\) consequences (Leigh & Rathjen 2012; Leigh, 2013).