Matches in SemOpenAlex for { <https://semopenalex.org/work/W3198236183> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3198236183 endingPage "71" @default.
- W3198236183 startingPage "1" @default.
- W3198236183 abstract "It is known that the satisfiability problems of the product logics K4 × S5 and S4 × S5 are NEXPTIME-hard and that the satisfiability problem of the logic SSL of subset spaces is PSPACE-hard. Furthermore, it is known that the satisfiability problems of these logics are in N2EXPTIME. We improve the lower and the upper bounds for the complexity of these problems by showing that all three problems are in ESPACE and are EXPSPACE-complete under logspace reduction." @default.
- W3198236183 created "2021-09-13" @default.
- W3198236183 creator A5039739158 @default.
- W3198236183 creator A5071990221 @default.
- W3198236183 date "2021-09-08" @default.
- W3198236183 modified "2023-10-06" @default.
- W3198236183 title "EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces" @default.
- W3198236183 cites W1489270299 @default.
- W3198236183 cites W1539382740 @default.
- W3198236183 cites W1978169673 @default.
- W3198236183 cites W1979788764 @default.
- W3198236183 cites W2000261666 @default.
- W3198236183 cites W2006227387 @default.
- W3198236183 cites W2026191634 @default.
- W3198236183 cites W2036265926 @default.
- W3198236183 cites W2039393392 @default.
- W3198236183 cites W2044028378 @default.
- W3198236183 cites W206333455 @default.
- W3198236183 cites W2073491323 @default.
- W3198236183 cites W2075664249 @default.
- W3198236183 cites W2118324648 @default.
- W3198236183 cites W2293652402 @default.
- W3198236183 cites W2528429702 @default.
- W3198236183 cites W2913527980 @default.
- W3198236183 cites W2954815396 @default.
- W3198236183 cites W4241108585 @default.
- W3198236183 cites W4251893211 @default.
- W3198236183 doi "https://doi.org/10.1145/3465384" @default.
- W3198236183 hasPublicationYear "2021" @default.
- W3198236183 type Work @default.
- W3198236183 sameAs 3198236183 @default.
- W3198236183 citedByCount "1" @default.
- W3198236183 countsByYear W31982361832020 @default.
- W3198236183 crossrefType "journal-article" @default.
- W3198236183 hasAuthorship W3198236183A5039739158 @default.
- W3198236183 hasAuthorship W3198236183A5071990221 @default.
- W3198236183 hasConcept C11413529 @default.
- W3198236183 hasConcept C114614502 @default.
- W3198236183 hasConcept C118615104 @default.
- W3198236183 hasConcept C134306372 @default.
- W3198236183 hasConcept C168773769 @default.
- W3198236183 hasConcept C17231256 @default.
- W3198236183 hasConcept C179799912 @default.
- W3198236183 hasConcept C197685441 @default.
- W3198236183 hasConcept C33923547 @default.
- W3198236183 hasConcept C6943359 @default.
- W3198236183 hasConceptScore W3198236183C11413529 @default.
- W3198236183 hasConceptScore W3198236183C114614502 @default.
- W3198236183 hasConceptScore W3198236183C118615104 @default.
- W3198236183 hasConceptScore W3198236183C134306372 @default.
- W3198236183 hasConceptScore W3198236183C168773769 @default.
- W3198236183 hasConceptScore W3198236183C17231256 @default.
- W3198236183 hasConceptScore W3198236183C179799912 @default.
- W3198236183 hasConceptScore W3198236183C197685441 @default.
- W3198236183 hasConceptScore W3198236183C33923547 @default.
- W3198236183 hasConceptScore W3198236183C6943359 @default.
- W3198236183 hasIssue "4" @default.
- W3198236183 hasLocation W31982361831 @default.
- W3198236183 hasOpenAccess W3198236183 @default.
- W3198236183 hasPrimaryLocation W31982361831 @default.
- W3198236183 hasRelatedWork W12891574 @default.
- W3198236183 hasRelatedWork W1566380696 @default.
- W3198236183 hasRelatedWork W2165641429 @default.
- W3198236183 hasRelatedWork W2173381095 @default.
- W3198236183 hasRelatedWork W2236535155 @default.
- W3198236183 hasRelatedWork W2567822474 @default.
- W3198236183 hasRelatedWork W2949673979 @default.
- W3198236183 hasRelatedWork W2950767190 @default.
- W3198236183 hasRelatedWork W2964047030 @default.
- W3198236183 hasRelatedWork W2565946474 @default.
- W3198236183 hasVolume "22" @default.
- W3198236183 isParatext "false" @default.
- W3198236183 isRetracted "false" @default.
- W3198236183 magId "3198236183" @default.
- W3198236183 workType "article" @default.