Generalized quantifiers and pebble games on finite structures
- 27 June 1995
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 74 (1) , 23-75
- https://doi.org/10.1016/0168-0072(94)00025-x
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Monotone versus positiveJournal of the ACM, 1987
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- Relational queries computable in polynomial timeInformation and Control, 1986
- Questions about quantifiersThe Journal of Symbolic Logic, 1984
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Isomorphism of graphs of bounded valence can be tested in polynomial timeJournal of Computer and System Sciences, 1982
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977
- Monadic generalized spectraMathematical Logic Quarterly, 1975
- On Extensions of Elementary LogicTheoria, 1969
- First Order Predicate Logic with Generalized QuantifiersTheoria, 1966