activity
20222026
most citedDeterminacy and reflection principles in second-order arithmetic

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics

Leonardo Pacheco

The modal mu-calculus is obtained by adding least and greatest fixed-point operators to modal logic. Its alternation hierarchy classifies the mu-formulas by their alternation depth…