AI Chat AI Image Generator AI Video AI Music Generator

Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism

12/09/2019

∙

by Kexu Wang, et al.

∙

∙

We add logarithmic-bounded second-order quantifiers to the inflationary fixed-point logic, and find on ordered structures the new logic ∃^log^ωIFP captures the limited nondeterminism class βP. A new version of Ehrenfeucht-Fraisse game for the new logic is also designed in order to study its expressive power.

Kexu Wang
2 publications
Xishun Zhao
7 publications

page 1

page 2

page 3

page 4

research

∙ 07/19/2022

Capturing the polynomial hierarchy by second-order revised Krom logic

We study the expressive power and complexity of second-order revised Kro...

0 Shiguang Feng, et al. ∙

research

∙ 02/28/2018

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs

We show that the class of chordal claw-free graphs admits LREC=-definabl...

0 Berit Grußien, et al. ∙

research

∙ 11/05/2020

Monadic second-order logic and the domino problem on self-similar graphs

We consider the domino problem on Schreier graphs of self-similar groups...

0 Laurent Bartholdi, et al. ∙

research

∙ 11/29/2019

A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time

We introduce a restricted second-order logic SO^plog for finite structur...

0 Flavio Ferrarotti, et al. ∙

research

∙ 01/25/2023

Lecture Notes on Monadic First- and Second-Order Logic on Strings

These notes present the essentials of first- and second-order monadic lo...

0 Dino Mandrioli, et al. ∙

research

∙ 09/14/2022

Inputs, Outputs, and Composition in the Logic of Information Flows

The logic of information flows (LIF) is a general framework in which tas...

0 Heba Aamer, et al. ∙

research

∙ 06/19/2018

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic

Let SO^plog denote the restriction of second-order logic, where second-o...

0 Flavio Ferrarotti, et al. ∙