Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
- 29 January 1996
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 77 (2) , 169-199
- https://doi.org/10.1016/0168-0072(95)00021-6
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- On transitive closure logicPublished by Springer Nature ,2005
- Parametrization over inductive relations of a bounded number of variablesAnnals of Pure and Applied Logic, 1990
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977
- The polynomial-time hierarchyTheoretical Computer Science, 1976
- Monadic generalized spectraMathematical Logic Quarterly, 1975
- The diversity of quantifier prefixesThe Journal of Symbolic Logic, 1973
- Finite partially-ordered quantificationThe Journal of Symbolic Logic, 1970