Existential least fixed-point logic and its relatives

DOI10.1093/logcom/7.2.205zbMath0880.03013OpenAlexW1991397512MaRDI QIDQ4340419

Martin Grohe

Publication date: 10 June 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/7.2.205

zbMATH Keywords

definabilityfinite model theorygeneralized quantifiersinductive definitionsexistential fragment of fixed-point logics

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Related Items (2)

One Useful Logic That Defines Its Own Truth ⋮ Program schemes, arrays, Lindström quantifiers and zero-one laws

This page was built for publication: Existential least fixed-point logic and its relatives