The half-levels of the FO2 alternation hierarchy

The half-levels of the FO2 alternation hierarchy

© 2016, Springer Science+Business Media New York. The alternation hierarchy in two-variable first-order logic FO 2 [ < ] over words was shown to be decidable by Kufleitner and Weil, and independently by Krebs and Straubing. We consider a similar hierarchy, reminiscent of the half levels of the do...

Full description

Saved in:
Bibliographic Details
Main Authors: Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
Format: Default Article
Published: 2017
Subjects:
Distributed computing and systems software not elsewhere classified
Theory of computation not elsewhere classified
Other information and computing sciences not elsewhere classified
Regular language
Finite monoid
Positive variety
First-order logic
Computation Theory and Mathematics
Information and Computing Sciences not elsewhere classified
Distributed Computing
Online Access:https://hdl.handle.net/2134/31948
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/31948

Similar Items