{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:08:09Z","timestamp":1736658489903,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_8","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"105-125","source":"Crossref","is-referenced-by-count":0,"title":["Choice Construct and Lindstr\u00f6m Logics"],"prefix":"10.1007","author":[{"given":"H. K.","family":"Hoang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BFb0039616","volume-title":"Expressivity of First Order Logic with a Nondeterministic Operator","author":"V. Arvind","year":"1987","unstructured":"Arvind, V., Biwas, S.: Expressivity of First Order Logic with a Nondeterministic Operator. LNCS, vol.\u00a0247, pp. 323\u2013335. Springer, Heidelberg (1987)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01530924","volume":"3","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Vianu, V.: Non-determinism in logic-based languages. Annals of Math. and Artif. Int.\u00a03, 151\u2013186 (1991)","journal-title":"Annals of Math. and Artif. Int."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Generic computation and its complexity. In: Proc. 23rd ACM Symp. on the Theory of Computing, pp. 209\u2013219 (1991)","DOI":"10.1145\/103418.103444"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01305232","volume":"12","author":"J. Cai","year":"1992","unstructured":"Cai, J., Furer, M., Immerman, N.: An optimal lower bound on the number of variables for graph identification. Combinatoria\u00a012(4), 389\u2013410 (1992)","journal-title":"Combinatoria"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-94-017-0524-0_3","volume-title":"Quantifiers: Logics, Models and Computations","author":"X. Caicedo","year":"1995","unstructured":"Caicedo, X.: Hilbert\u2019s Epsilon-Symbol in the Presence of Generalized Quantifiers. In: Krynicki, M., et al. (eds.) Quantifiers: Logics, Models and Computations, vol.\u00a0II, pp. 63\u201378. Kluwer Acad. Pub., Dordrecht (1995)"},{"key":"8_CR6","unstructured":"Dawar, A.: Feasible computation through model theory. Ph.D Thesis. University of Pennsylvania, Philadelphia (1993)"},{"key":"8_CR7","first-page":"25","volume-title":"Models-Theoric Logics","author":"H.D. Ebbinghass","year":"1985","unstructured":"Ebbinghass, H.D.: Extended Logics: The general framwork. In: Barwise, J., Feferman, S. (eds.) Models-Theoric Logics, pp. 25\u201376. Springer, Heidelberg (1985)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1006\/inco.1998.2712","volume":"144","author":"F. Gire","year":"1998","unstructured":"Gire, F., Hoang, H.K.: An extension of fixpoint logic with a symmetrybased choice construct. Information and Computation\u00a0144(1), 40\u201365 (1998)","journal-title":"Information and Computation"},{"key":"8_CR9","unstructured":"Gurevich, Y., Shelah, S.: Fixed-point extension of first-order logic. In: Proc. 26th IEEE Symp. on Foundation of Computer Science, pp. 210\u2013214 (1983)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1996.0070","volume":"129","author":"L. Hella","year":"1996","unstructured":"Hella, L.: Logical Hierarchies in PTIME. Information and Computation\u00a0129, 1\u201319 (1996)","journal-title":"Information and Computation"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N. Immerman","year":"1986","unstructured":"Immerman, N.: Relational queries computable in polynomial time. Information and Control\u00a068, 86\u2013104 (1986)","journal-title":"Information and Control"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Kolatis, P.G., V\u00e4\u00e4n\u00e4nen, J.: Generalized quantifiers and pebble games on finite structures. In: Proc. 7th IEEE Symposium on Logic in Computer Science, pp. 348\u2013359 (1992)","DOI":"10.1109\/LICS.1992.185547"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1002\/malq.19880340606","volume":"34","author":"M. Krynicki","year":"1988","unstructured":"Krynicki, M.: Notion of interpretation and nonelementary languages. Zeitschrift f\u2019ur mathematische Logik und Grundlagen der Mathematik\u00a034, 541\u2013552 (1988)","journal-title":"Zeitschrift f\u2019ur mathematische Logik und Grundlagen der Mathematik"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","volume":"32","author":"P. Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First order predicate logic with generalized quantifiers. Theoria\u00a032, 186\u2013195 (1966)","journal-title":"Theoria"},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"44","author":"A. Mostowski","year":"1957","unstructured":"Mostowski, A.: On a generalization of quantifiers. Fundamenca Mathematicae\u00a044, 12\u201336 (1957)","journal-title":"Fundamenca Mathematicae"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Vardi, M.: The complexity of relational query languages. In: Proc. 14th ACM Symp. on the Theory of Computing, pp. 137\u2013146 (1982)","DOI":"10.1145\/800070.802186"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T09:38:47Z","timestamp":1736588327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/10703163_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}