Syntactic characterizations of completeness using duals and operators

DOI10.1093/JIGPAL/JZR035zbMath1280.68107OpenAlexW2128514044MaRDI QIDQ2903761

Nerio Borges, Blai Bonet

Publication date: 1 August 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzr035

zbMATH Keywords

canonical formscompletenessdual operatordescriptive complexitysyntactic operators

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

This page was built for publication: Syntactic characterizations of completeness using duals and operators