6 citations · 9 across the 5 of their papers we have counts for
1 paper · 2 filters
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…