Abstract
A choice construct can be added to fixpoint logic to give a more expressive logic, as shown in [GH]. On the other hand, a more straightforward way of increasing the expressive power of fixpoint logic is to add generalized quantifiers, corresponding to undefinable properties, in the sense of Lindström. The paper studies the expressive power of the choice construct proposed in [GH] in its relationships to the logics defined with generalized quantifiers. We show that no extension of fixpoint logic by a set of quantifiers of bounded arity captures all properties of finite structures definable in choice fixpoint logic. Consequently, no extension of fixpoint logic with a finite set of quantifiers is more expressive than the extension of fixpoint logic with choice construct. On the other hand, we give a characterization of choice fixpoint logic by an extension of fixpoint logic with a countable set of quantifiers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arvind, V., Biwas, S.: Expressivity of First Order Logic with a Nondeterministic Operator. LNCS, vol. 247, pp. 323–335. Springer, Heidelberg (1987)
Abiteboul, S., Vianu, V.: Non-determinism in logic-based languages. Annals of Math. and Artif. Int. 3, 151–186 (1991)
Abiteboul, S., Vianu, V.: Generic computation and its complexity. In: Proc. 23rd ACM Symp. on the Theory of Computing, pp. 209–219 (1991)
Cai, J., Furer, M., Immerman, N.: An optimal lower bound on the number of variables for graph identification. Combinatoria 12(4), 389–410 (1992)
Caicedo, X.: Hilbert’s Epsilon-Symbol in the Presence of Generalized Quantifiers. In: Krynicki, M., et al. (eds.) Quantifiers: Logics, Models and Computations, vol. II, pp. 63–78. Kluwer Acad. Pub., Dordrecht (1995)
Dawar, A.: Feasible computation through model theory. Ph.D Thesis. University of Pennsylvania, Philadelphia (1993)
Ebbinghass, H.D.: Extended Logics: The general framwork. In: Barwise, J., Feferman, S. (eds.) Models-Theoric Logics, pp. 25–76. Springer, Heidelberg (1985)
Gire, F., Hoang, H.K.: An extension of fixpoint logic with a symmetrybased choice construct. Information and Computation 144(1), 40–65 (1998)
Gurevich, Y., Shelah, S.: Fixed-point extension of first-order logic. In: Proc. 26th IEEE Symp. on Foundation of Computer Science, pp. 210–214 (1983)
Hella, L.: Logical Hierarchies in PTIME. Information and Computation 129, 1–19 (1996)
Immerman, N.: Relational queries computable in polynomial time. Information and Control 68, 86–104 (1986)
Kolatis, P.G., Väänänen, J.: Generalized quantifiers and pebble games on finite structures. In: Proc. 7th IEEE Symposium on Logic in Computer Science, pp. 348–359 (1992)
Krynicki, M.: Notion of interpretation and nonelementary languages. Zeitschrift f’ur mathematische Logik und Grundlagen der Mathematik 34, 541–552 (1988)
Lindström, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186–195 (1966)
Mostowski, A.: On a generalization of quantifiers. Fundamenca Mathematicae 44, 12–36 (1957)
Vardi, M.: The complexity of relational query languages. In: Proc. 14th ACM Symp. on the Theory of Computing, pp. 137–146 (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoang, H.K. (1999). Choice Construct and Lindström Logics. In: Gottlob, G., Grandjean, E., Seyr, K. (eds) Computer Science Logic. CSL 1998. Lecture Notes in Computer Science, vol 1584. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10703163_8
Download citation
DOI: https://doi.org/10.1007/10703163_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65922-8
Online ISBN: 978-3-540-48855-2
eBook Packages: Springer Book Archive