Enhancing fixed point logic with cardinality quantifiers

DOI10.1093/logcom/8.1.71zbMath0909.03032OpenAlexW2130593249MaRDI QIDQ4399514

Lauri Hella, H. Imhof

Publication date: 28 July 1998

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

Full work available at URL: http://doc.rero.ch/record/292194/files/8-1-71.pdf

zbMATH Keywords

finite model theorygeneralized quantifiersdescriptive complexity theorycardinal quantifiersfixed point logics

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

This page was built for publication: Enhancing fixed point logic with cardinality quantifiers