Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377031842> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4377031842 endingPage "186" @default.
- W4377031842 startingPage "148" @default.
- W4377031842 abstract "Abstract We consider fragments of first-order logic (with and without equality) defined by means of standard quantifier prefix specifiers, over signatures containing no function symbols. We determine, in each case, the decidability and complexity of the (finite) satisfiability problem. Two of these results tower above the others. The first concerns the so-called Gödel fragment, where the quantifier prefix features two adjacent universal quantifiers and at least one trailing existential quantifier, but where equality is not allowed. We show that this fragment has the finite model property, and that its satisfiability problem is NExpTime-complete. The second concerns the so-called Goldfarb fragment, which adds equality to the Gödel fragment. We show that the satisfiability and finite satisfiability problems for this fragment are undecidable. We also discuss the effect on lower complexity bounds of making individual constants unavailable." @default.
- W4377031842 created "2023-05-19" @default.
- W4377031842 creator A5033570514 @default.
- W4377031842 date "2023-03-30" @default.
- W4377031842 modified "2023-10-16" @default.
- W4377031842 title "Prefixes" @default.
- W4377031842 cites W108850430 @default.
- W4377031842 cites W1479669713 @default.
- W4377031842 cites W1483388050 @default.
- W4377031842 cites W1489303457 @default.
- W4377031842 cites W1504009391 @default.
- W4377031842 cites W1513576223 @default.
- W4377031842 cites W1517995365 @default.
- W4377031842 cites W1524248088 @default.
- W4377031842 cites W1529963680 @default.
- W4377031842 cites W1536964483 @default.
- W4377031842 cites W1579024140 @default.
- W4377031842 cites W1598365163 @default.
- W4377031842 cites W1607550340 @default.
- W4377031842 cites W1608479762 @default.
- W4377031842 cites W1790807402 @default.
- W4377031842 cites W1929404437 @default.
- W4377031842 cites W1973458874 @default.
- W4377031842 cites W1989783863 @default.
- W4377031842 cites W1996417630 @default.
- W4377031842 cites W2071228820 @default.
- W4377031842 cites W2095689360 @default.
- W4377031842 cites W2104762798 @default.
- W4377031842 cites W2121515872 @default.
- W4377031842 cites W2126160338 @default.
- W4377031842 cites W2136823804 @default.
- W4377031842 cites W2143042096 @default.
- W4377031842 cites W2335953814 @default.
- W4377031842 cites W2524446667 @default.
- W4377031842 cites W2838709227 @default.
- W4377031842 cites W2905199121 @default.
- W4377031842 cites W2963620995 @default.
- W4377031842 cites W6480589 @default.
- W4377031842 doi "https://doi.org/10.1093/oso/9780192867964.003.0005" @default.
- W4377031842 hasPublicationYear "2023" @default.
- W4377031842 type Work @default.
- W4377031842 citedByCount "0" @default.
- W4377031842 crossrefType "book-chapter" @default.
- W4377031842 hasAuthorship W4377031842A5033570514 @default.
- W4377031842 hasConcept C11413529 @default.
- W4377031842 hasConcept C114614502 @default.
- W4377031842 hasConcept C118615104 @default.
- W4377031842 hasConcept C138885662 @default.
- W4377031842 hasConcept C141603448 @default.
- W4377031842 hasConcept C153269930 @default.
- W4377031842 hasConcept C154945302 @default.
- W4377031842 hasConcept C168773769 @default.
- W4377031842 hasConcept C192034797 @default.
- W4377031842 hasConcept C2776235265 @default.
- W4377031842 hasConcept C2778523021 @default.
- W4377031842 hasConcept C33923547 @default.
- W4377031842 hasConcept C41008148 @default.
- W4377031842 hasConcept C41895202 @default.
- W4377031842 hasConcept C6943359 @default.
- W4377031842 hasConceptScore W4377031842C11413529 @default.
- W4377031842 hasConceptScore W4377031842C114614502 @default.
- W4377031842 hasConceptScore W4377031842C118615104 @default.
- W4377031842 hasConceptScore W4377031842C138885662 @default.
- W4377031842 hasConceptScore W4377031842C141603448 @default.
- W4377031842 hasConceptScore W4377031842C153269930 @default.
- W4377031842 hasConceptScore W4377031842C154945302 @default.
- W4377031842 hasConceptScore W4377031842C168773769 @default.
- W4377031842 hasConceptScore W4377031842C192034797 @default.
- W4377031842 hasConceptScore W4377031842C2776235265 @default.
- W4377031842 hasConceptScore W4377031842C2778523021 @default.
- W4377031842 hasConceptScore W4377031842C33923547 @default.
- W4377031842 hasConceptScore W4377031842C41008148 @default.
- W4377031842 hasConceptScore W4377031842C41895202 @default.
- W4377031842 hasConceptScore W4377031842C6943359 @default.
- W4377031842 hasLocation W43770318421 @default.
- W4377031842 hasOpenAccess W4377031842 @default.
- W4377031842 hasPrimaryLocation W43770318421 @default.
- W4377031842 hasRelatedWork W1483892218 @default.
- W4377031842 hasRelatedWork W1564554868 @default.
- W4377031842 hasRelatedWork W2011289699 @default.
- W4377031842 hasRelatedWork W2167135424 @default.
- W4377031842 hasRelatedWork W2739419269 @default.
- W4377031842 hasRelatedWork W2803425303 @default.
- W4377031842 hasRelatedWork W2951261477 @default.
- W4377031842 hasRelatedWork W4297690128 @default.
- W4377031842 hasRelatedWork W4375870223 @default.
- W4377031842 hasRelatedWork W4377031842 @default.
- W4377031842 isParatext "false" @default.
- W4377031842 isRetracted "false" @default.
- W4377031842 workType "book-chapter" @default.