Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896652110> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2896652110 endingPage "2311" @default.
- W2896652110 startingPage "2306" @default.
- W2896652110 abstract "There has been a great deal of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the satisfiability problem for all logics between K and S4 is PSPACE-hard, while for S5 it is NP-complete. We show that it is negative introspection, the axiom ¬Kp ⇒ K¬Kp, that causes the gap: if we add this axiom to any modal logic between K and S4, then the satisfiability problem becomes NP-complete. Indeed, the satisfiability problem is NP-complete for any modal logic that includes the negative introspection axiom." @default.
- W2896652110 created "2018-10-26" @default.
- W2896652110 creator A5039767232 @default.
- W2896652110 creator A5087025582 @default.
- W2896652110 date "2007-01-06" @default.
- W2896652110 modified "2023-09-26" @default.
- W2896652110 title "Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic" @default.
- W2896652110 cites W1994227541 @default.
- W2896652110 cites W1996365374 @default.
- W2896652110 cites W2073491323 @default.
- W2896652110 cites W2076073997 @default.
- W2896652110 cites W2094617595 @default.
- W2896652110 cites W2121827343 @default.
- W2896652110 cites W2127907968 @default.
- W2896652110 cites W2134153077 @default.
- W2896652110 cites W2146819619 @default.
- W2896652110 cites W2153275758 @default.
- W2896652110 cites W2400699940 @default.
- W2896652110 cites W2610670723 @default.
- W2896652110 cites W3140030144 @default.
- W2896652110 cites W340109471 @default.
- W2896652110 hasPublicationYear "2007" @default.
- W2896652110 type Work @default.
- W2896652110 sameAs 2896652110 @default.
- W2896652110 citedByCount "3" @default.
- W2896652110 countsByYear W28966521102016 @default.
- W2896652110 crossrefType "proceedings-article" @default.
- W2896652110 hasAuthorship W2896652110A5039767232 @default.
- W2896652110 hasAuthorship W2896652110A5087025582 @default.
- W2896652110 hasConcept C11191006 @default.
- W2896652110 hasConcept C11413529 @default.
- W2896652110 hasConcept C118615104 @default.
- W2896652110 hasConcept C121332964 @default.
- W2896652110 hasConcept C165801399 @default.
- W2896652110 hasConcept C167729594 @default.
- W2896652110 hasConcept C168773769 @default.
- W2896652110 hasConcept C172385210 @default.
- W2896652110 hasConcept C173125200 @default.
- W2896652110 hasConcept C179799912 @default.
- W2896652110 hasConcept C185592680 @default.
- W2896652110 hasConcept C188027245 @default.
- W2896652110 hasConcept C197685441 @default.
- W2896652110 hasConcept C2524010 @default.
- W2896652110 hasConcept C27508121 @default.
- W2896652110 hasConcept C2777796570 @default.
- W2896652110 hasConcept C33923547 @default.
- W2896652110 hasConcept C41008148 @default.
- W2896652110 hasConcept C62520636 @default.
- W2896652110 hasConcept C6943359 @default.
- W2896652110 hasConcept C71139939 @default.
- W2896652110 hasConceptScore W2896652110C11191006 @default.
- W2896652110 hasConceptScore W2896652110C11413529 @default.
- W2896652110 hasConceptScore W2896652110C118615104 @default.
- W2896652110 hasConceptScore W2896652110C121332964 @default.
- W2896652110 hasConceptScore W2896652110C165801399 @default.
- W2896652110 hasConceptScore W2896652110C167729594 @default.
- W2896652110 hasConceptScore W2896652110C168773769 @default.
- W2896652110 hasConceptScore W2896652110C172385210 @default.
- W2896652110 hasConceptScore W2896652110C173125200 @default.
- W2896652110 hasConceptScore W2896652110C179799912 @default.
- W2896652110 hasConceptScore W2896652110C185592680 @default.
- W2896652110 hasConceptScore W2896652110C188027245 @default.
- W2896652110 hasConceptScore W2896652110C197685441 @default.
- W2896652110 hasConceptScore W2896652110C2524010 @default.
- W2896652110 hasConceptScore W2896652110C27508121 @default.
- W2896652110 hasConceptScore W2896652110C2777796570 @default.
- W2896652110 hasConceptScore W2896652110C33923547 @default.
- W2896652110 hasConceptScore W2896652110C41008148 @default.
- W2896652110 hasConceptScore W2896652110C62520636 @default.
- W2896652110 hasConceptScore W2896652110C6943359 @default.
- W2896652110 hasConceptScore W2896652110C71139939 @default.
- W2896652110 hasLocation W28966521101 @default.
- W2896652110 hasOpenAccess W2896652110 @default.
- W2896652110 hasPrimaryLocation W28966521101 @default.
- W2896652110 hasRelatedWork W1565822158 @default.
- W2896652110 hasRelatedWork W1600636537 @default.
- W2896652110 hasRelatedWork W1627056135 @default.
- W2896652110 hasRelatedWork W2003216212 @default.
- W2896652110 hasRelatedWork W2007671683 @default.
- W2896652110 hasRelatedWork W2027602125 @default.
- W2896652110 hasRelatedWork W2053995994 @default.
- W2896652110 hasRelatedWork W2073491323 @default.
- W2896652110 hasRelatedWork W2076073997 @default.
- W2896652110 hasRelatedWork W2091470957 @default.
- W2896652110 hasRelatedWork W2160811334 @default.
- W2896652110 hasRelatedWork W2162803372 @default.
- W2896652110 hasRelatedWork W2165930340 @default.
- W2896652110 hasRelatedWork W2404289303 @default.
- W2896652110 hasRelatedWork W2610670723 @default.
- W2896652110 hasRelatedWork W2764248145 @default.
- W2896652110 hasRelatedWork W2949259551 @default.
- W2896652110 hasRelatedWork W2951143878 @default.
- W2896652110 hasRelatedWork W2953287911 @default.
- W2896652110 hasRelatedWork W3165398732 @default.
- W2896652110 isParatext "false" @default.
- W2896652110 isRetracted "false" @default.
- W2896652110 magId "2896652110" @default.
- W2896652110 workType "article" @default.