A tree rewriting system for the Reflection Calculus

Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque

The $Reflection$ $Calculus$ ($\mathbf{RC}$) is the fragment of the polymodal logic $\mathbf{GLP}$ in the language $L^{+}$ whose formulas are built up from $\top$…