Fragments of first-order logic
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely...
Main Author: | Pratt-Hartmann, Ian, |
---|---|
Other Authors: | Oxford Scholarship Online. |
Format: | eBook |
Language: | English |
Published: |
Oxford :
Oxford University Press,
2023.
|
Physical Description: |
1 online resource (xi, 650 pages). |
Series: |
Oxford logic guides ;
56. Oxford scholarship online. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |