E. Rosen. An Existential Fragment of Second Order Logic. Revised manuscript, December 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Existential Second-Order Logic over Strings - Eiter, Gottlob, Gurevich (1998) (5 citations) (Correct)
....MSO; however, none of these properties is expressible in ESO(9 ) even in presence of a successor [13] Therefore, ESO(9 ) and MSO have different expressive power over ordered graphs. Further relevant discussions of ESO and MSO fragments over graphs and general structures can be found in [9, 47, 48, 43, 10]. To the best of our best knowledge, there has been no previous characterization of the regular languages by nonmonadic fragments of ESO. However, many papers cover either extensions or restrictions of MSO or REG. Lynch [34] for example, has studied the logic over strings obtained from ....
E. Rosen. An Existential Fragment of Second Order Logic. Revised manuscript, December 1996.
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (Correct)
....89 ) coincide over strings, they are different over finite graphs. e.g. disconnectivity is expressible in existential MSO [12] while it is not expressible in ESO(9 89 ) even with a successor [9] Further work on discussing fragments of ESO and MSO over graphs and finite structures is [6, 32, 31, 7]. ESO(898) FO expressible (FO(9 8) ESO(9 89 ) ESO(9 88) ESO(889) regular tailored ESO(888) NP tailored ESO(9 8) ESO(8 ) ESO(89) ESO(88) regular NP hard Figure 1: Complete picture of the regular and nonregular ESO prefix classes While to the best of our knowledge, no ....
E. Rosen. An Existential Fragment of Second Order Logic. Revised manuscript, December 1996.
Existential Second-Order Logic over Strings - Eiter, Gottlob, Gurevich (1997) (5 citations) (Correct)
....none of these properties is expressible in ESO(9 89 ) even in presence of a successor [12] Therefore, ESO(9 89 ) and MSO have different expressive power over ordered graphs. Further relevant work on discussing ESO and MSO fragments over graphs and general structures can be found in [8, 46, 47, 42, 9]. To our best knowledge, there has been no previous characterization of the regular languages by nonmonadic fragments of ESO. However, many papers cover either extensions or restrictions of MSO or REG. Lynch [33] for example, has studied the logic over strings obtained from existential MSO by ....
E. Rosen. An Existential Fragment of Second Order Logic. Revised manuscript, December 1996.
SO(...) Sentences and Their Asymptotic Probabilities - Rosen, Tyszkiewicz Self-citation (Rosen) (Correct)
....in the introduction. Beyond Sigma 1 1 , Lacoste observed that SO(9 ) has a 0 1 law: this follows from the fact that every sentence in SO(9 ) defines a class that is closed under extensions. It is well known that SO(9 ) has the finite model property; more recently it was shown in [8] that its satisfiability problem is decidable. Because a sentence in SO(9 ) has probability one iff it has a finite model, together these results also imply the decidability of the almost sure theory of SO(9 ) ....
E. Rosen. An existential fragment of second order logic. Archive for Mathematical Logic, 1997. To appear.
SO(...) Sentences and Their Asymptotic Probabilities - Rosen, Tyszkiewicz Self-citation (Rosen) (Correct)
.... Sigma 1 1 (889) mentioned in the introduction. Lacoste observed that SO(9 ) has a 0 1 law. This follows from the fact that every sentence in SO(9 ) defines a class that is closed under extensions. It is known that SO(9 ) has the finite model property; more recently it was shown in [9] that its satisfiability problem is decidable. Because a sentence in SO(9 ) has probability one iff it has a finite model, together these results imply the decidability of the almost sure theory of SO(9 ) ....
E. Rosen. An existential fragment of second order logic. Archive for Mathematical Logic, 1997. To appear.
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (1997) (Correct)
No context found.
E. Rosen. An Existential Fragment of Second Order Logic. Revised manuscript, December 1996.
Verification of Relational Transducers for Electronic Commerce - Spielmann (2000) (3 citations) (Correct)
No context found.
E. Rosen. An existential fragment of second order logic. Archive for Mathematical Logic, 38:217-234, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC