LCS Publication Details
Publication Title: CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QUANTIFIERS
Publication Author: Harel, David
Additional Authors:
LCS Document Number: MIT-LCS-TM-095
Publication Date: 2-1-1977
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
A language Q is defined and given semantic, the formulae of which are quantifier-free first-order matrices prefixed by combinations of finite partially ordered first-order quantifiers. It is shown that Q is equivalent in expressive power to second order logic by establishing the equivalence of alternating second order quantifiers and forming conjunctions of partially ordered first-order quantifiers.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.