Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377031836> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4377031836 endingPage "324" @default.
- W4377031836 startingPage "280" @default.
- W4377031836 abstract "Abstract We consider the guarded two-variable fragment of first-order logic with counting quantifiers, a subfragment of the two-variable fragment with counting quantifiers in which, in addition to the requirement of guarding, individual constants do not appear. We show that this logic lacks the finite model property, but that its satisfiability and finite satisfiability problems are both nevertheless ExpTime-complete. We introduce the concepts of database and data complexity, and show that the satisfiability and finite satisfiability problems for the guarded two-variable fragment of first-order logic with counting quantifiers and databases remain in ExpTime, and are NPTime-complete for data-complexity." @default.
- W4377031836 created "2023-05-19" @default.
- W4377031836 creator A5033570514 @default.
- W4377031836 date "2023-03-30" @default.
- W4377031836 modified "2023-10-16" @default.
- W4377031836 title "Guarded counting" @default.
- W4377031836 cites W108850430 @default.
- W4377031836 cites W1479669713 @default.
- W4377031836 cites W1483388050 @default.
- W4377031836 cites W1489303457 @default.
- W4377031836 cites W1504009391 @default.
- W4377031836 cites W1513576223 @default.
- W4377031836 cites W1517995365 @default.
- W4377031836 cites W1524248088 @default.
- W4377031836 cites W1529963680 @default.
- W4377031836 cites W1536964483 @default.
- W4377031836 cites W1579024140 @default.
- W4377031836 cites W1598365163 @default.
- W4377031836 cites W1607550340 @default.
- W4377031836 cites W1608479762 @default.
- W4377031836 cites W1790807402 @default.
- W4377031836 cites W1929404437 @default.
- W4377031836 cites W1973458874 @default.
- W4377031836 cites W1989783863 @default.
- W4377031836 cites W1996417630 @default.
- W4377031836 cites W2071228820 @default.
- W4377031836 cites W2095689360 @default.
- W4377031836 cites W2104762798 @default.
- W4377031836 cites W2121515872 @default.
- W4377031836 cites W2126160338 @default.
- W4377031836 cites W2136823804 @default.
- W4377031836 cites W2143042096 @default.
- W4377031836 cites W2335953814 @default.
- W4377031836 cites W2524446667 @default.
- W4377031836 cites W2838709227 @default.
- W4377031836 cites W2905199121 @default.
- W4377031836 cites W2963620995 @default.
- W4377031836 cites W6480589 @default.
- W4377031836 doi "https://doi.org/10.1093/oso/9780192867964.003.0009" @default.
- W4377031836 hasPublicationYear "2023" @default.
- W4377031836 type Work @default.
- W4377031836 citedByCount "0" @default.
- W4377031836 crossrefType "book-chapter" @default.
- W4377031836 hasAuthorship W4377031836A5033570514 @default.
- W4377031836 hasConcept C102993220 @default.
- W4377031836 hasConcept C11413529 @default.
- W4377031836 hasConcept C118615104 @default.
- W4377031836 hasConcept C134306372 @default.
- W4377031836 hasConcept C144791301 @default.
- W4377031836 hasConcept C168773769 @default.
- W4377031836 hasConcept C169896238 @default.
- W4377031836 hasConcept C179799912 @default.
- W4377031836 hasConcept C182365436 @default.
- W4377031836 hasConcept C197685441 @default.
- W4377031836 hasConcept C2776235265 @default.
- W4377031836 hasConcept C33923547 @default.
- W4377031836 hasConcept C41008148 @default.
- W4377031836 hasConcept C56049555 @default.
- W4377031836 hasConcept C6943359 @default.
- W4377031836 hasConcept C80444323 @default.
- W4377031836 hasConceptScore W4377031836C102993220 @default.
- W4377031836 hasConceptScore W4377031836C11413529 @default.
- W4377031836 hasConceptScore W4377031836C118615104 @default.
- W4377031836 hasConceptScore W4377031836C134306372 @default.
- W4377031836 hasConceptScore W4377031836C144791301 @default.
- W4377031836 hasConceptScore W4377031836C168773769 @default.
- W4377031836 hasConceptScore W4377031836C169896238 @default.
- W4377031836 hasConceptScore W4377031836C179799912 @default.
- W4377031836 hasConceptScore W4377031836C182365436 @default.
- W4377031836 hasConceptScore W4377031836C197685441 @default.
- W4377031836 hasConceptScore W4377031836C2776235265 @default.
- W4377031836 hasConceptScore W4377031836C33923547 @default.
- W4377031836 hasConceptScore W4377031836C41008148 @default.
- W4377031836 hasConceptScore W4377031836C56049555 @default.
- W4377031836 hasConceptScore W4377031836C6943359 @default.
- W4377031836 hasConceptScore W4377031836C80444323 @default.
- W4377031836 hasLocation W43770318361 @default.
- W4377031836 hasOpenAccess W4377031836 @default.
- W4377031836 hasPrimaryLocation W43770318361 @default.
- W4377031836 hasRelatedWork W1492864441 @default.
- W4377031836 hasRelatedWork W1559485762 @default.
- W4377031836 hasRelatedWork W1879375111 @default.
- W4377031836 hasRelatedWork W2043435342 @default.
- W4377031836 hasRelatedWork W2108821954 @default.
- W4377031836 hasRelatedWork W2952314805 @default.
- W4377031836 hasRelatedWork W2952347656 @default.
- W4377031836 hasRelatedWork W3162533888 @default.
- W4377031836 hasRelatedWork W4375870223 @default.
- W4377031836 hasRelatedWork W4377031836 @default.
- W4377031836 isParatext "false" @default.
- W4377031836 isRetracted "false" @default.
- W4377031836 workType "book-chapter" @default.