The Expressive Power of Two−Variable Least Fixed−Point Logics
The present paper gives a classification of the expressive power of two-variable least fixed-point logics. The main results are: <br/><ol><li> The two-variable fragment of monadic least fixed-point logic with parameters is as expressive as full monadic least fixed-point logic (on b...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2005
|