1 problem

0 votes0 replies0 views
The closure-ordinal conjecture for infinitary action logic with multiplexing
Closure-ordinal conjecture. The closure ordinal for this system is less than or equal to $\omega^\omega$ .
Conjectureopenaction-logic infinitary-logic ordinal-analysisarXiv posted 2 days ago

The closure-ordinal conjecture for infinitary action logic with multiplexing