Block products and nesting negations in FO2
The alternation hierarchy in two-variable first-order logic FO 2 [∈ < ∈] over words was recently shown to be decidable by Kufleitner and Weil, and independently by Krebs and Straubing. In this paper we consider a similar hierarchy, reminiscent of the half levels of the dot-depth hierarchy or the...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Default Conference proceeding |
| Published: |
2014
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/31982 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|