1 problem

0 votes0 replies1 view
Yu's sufficiency conjecture for prehistoric cycles in self-referential S4 theorems
A prehistoric cycle is a cycle in the prehistoric relation on the relevant occurrences in an S4 proof. Yu's sufficiency conjecture. Prehistoric cycles should be sufficient for self…
Conjectureopenjustification-logic modal-logic self-referencearXiv posted 2 days ago

Yu's sufficiency conjecture for prehistoric cycles in self-referential S4 theorems