second order logic - Robuta Search

https://deepai.org/publication/the-polylog-time-hierarchy-captured-by-restricted-second-order-logic The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic | DeepAI Jun 19, 2018 - 06/19/18 - Let SO^plog denote the restriction of second-order logic, where second-order quantification ranges over relations of size at most ... second order logic time hierarchy polylog captured https://arxiv.org/abs/2511.02386 [2511.02386] Monadic Second-Order Logic of Permutations Abstract page for arXiv paper 2511.02386: Monadic Second-Order Logic of Permutations monadic second order logic 2511 02386 permutations