Flavors of Quantifiers in Hyperlogics

Published in CoRR, 2025

📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2025). "Flavors of Quantifiers in Hyperlogics." CoRR.
Download Paper