Fragments of first-order logic
Auteur :
Pratt-Hartmann, Ian
Éditeur :
Oxford University Press
ISBN :
9780192867964
Date de publication :
30 mars 2023
Dimensions :
24,0 x 16,0 x 3,6 cm
Poids :
1240 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?