Characterizing Second Order Logic with First Order Quantifiers

DOI10.1002/MALQ.19790252507zbMath0432.03007OpenAlexW2151312580MaRDI QIDQ3869315

David Harel

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790252507

zbMATH Keywords

semanticsfirst-order quantificationsecond order logicalternating second order quantifierspartially ordered quantifier prefix

Mathematics Subject Classification ID

Related Items (3)

Henkin quantifiers and complete problems ⋮ Alternating (in)dependence-friendly logic ⋮ Generalized quantification as substructural logic

This page was built for publication: Characterizing Second Order Logic with First Order Quantifiers