We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Characterizing Second Order Logic with First Order Quantifiers

Thumbnail Image
Download
Name

MIT-LCS-TM-095.pdf

Size

1.3 MB

Format

Adobe PDF

Checksum (MD5)

ad083d86045dc1b4041be1e19552f659

Author(s)
Harel, David
Date Issued
February 1978
Series/Report no.
MIT-LCS-TM-095
Abstract
A language Q is defined and given semantics, 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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.