13 citations · 70 across the 51 of their papers we have counts for
1 paper · 1 filter
Eduardo Hermo Reyes, Joost J. Joosten
In arXiv:1604.08705 the authors introduced the propositional modal logic TSC (which stands for Turing Schmerl Calculus) which adequately describes the provable interrela…