Many Facets of Complexity in Logic

DOI10.1007/978-3-540-69407-6_35MaRDI QIDQ3507446zbMATH OpenOpenAlexFDO

Authors Antonina Kolokolova

Publication date 19 June 2008

Published in Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69407-6_35

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Recommendations

• Expressing versus proving: relating forms of complexity in logic
• Arithmetical definability and computational complexity
• scientific article; zbMATH DE number 877979
• scientific article; zbMATH DE number 2101962
• A restricted second order logic for finite structures

Cited in

(4)

• The complexity of poor man's logic
• scientific article; zbMATH DE number 1047510 (Why is no real title available?)
• scientific article; zbMATH DE number 1086669 (Why is no real title available?)
• Complexity of hyperconcepts

This page was built for publication: Many Facets of Complexity in Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507446)