Characterizing Second Order Logic with First Order Quantifiers

DOI10.1002/MALQ.19790252507MaRDI QIDQ3869315zbMATH OpenOpenAlexFDO

Authors 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

alternating second order quantifiersfirst-order quantificationpartially ordered quantifier prefixsecond order logicsemantics

Mathematics Subject Classification ID

Cited in

(3)

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

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

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