Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098830699> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2098830699 endingPage "379" @default.
- W2098830699 startingPage "368" @default.
- W2098830699 abstract "We investigate the complexity of the model checking problem for propositional intuitionistic logic. We show that the model checking problem for intuitionistic logic with one variable is complete for logspace-uniform AC 1 , and for intuitionistic logic with two variables it is P-complete. For superintuitionistic logics with one variable, we obtain NC 1 -completeness for the model checking problem and for the tautology problem. 1998 ACM Subject Classification F.2 Analysis of algorithms and problem complexity, F.4 Mathematical logic and formal languages" @default.
- W2098830699 created "2016-06-24" @default.
- W2098830699 creator A5043221864 @default.
- W2098830699 creator A5047184663 @default.
- W2098830699 date "2011-01-01" @default.
- W2098830699 modified "2023-09-22" @default.
- W2098830699 title "The model checking problem for propositional intuitionistic logic with one variable is AC 1 -complete" @default.
- W2098830699 cites W115737229 @default.
- W2098830699 cites W1508227203 @default.
- W2098830699 cites W1537854563 @default.
- W2098830699 cites W1951369434 @default.
- W2098830699 cites W1978576229 @default.
- W2098830699 cites W1982347904 @default.
- W2098830699 cites W1991670662 @default.
- W2098830699 cites W2017205387 @default.
- W2098830699 cites W2027501230 @default.
- W2098830699 cites W2036265926 @default.
- W2098830699 cites W2038247515 @default.
- W2098830699 cites W2044003899 @default.
- W2098830699 cites W2074283846 @default.
- W2098830699 cites W2175195593 @default.
- W2098830699 cites W2527843003 @default.
- W2098830699 cites W88024835 @default.
- W2098830699 cites W1510869908 @default.
- W2098830699 doi "https://doi.org/10.4230/lipics.stacs.2011.368" @default.
- W2098830699 hasPublicationYear "2011" @default.
- W2098830699 type Work @default.
- W2098830699 sameAs 2098830699 @default.
- W2098830699 citedByCount "0" @default.
- W2098830699 crossrefType "proceedings-article" @default.
- W2098830699 hasAuthorship W2098830699A5043221864 @default.
- W2098830699 hasAuthorship W2098830699A5047184663 @default.
- W2098830699 hasConcept C102993220 @default.
- W2098830699 hasConcept C110039528 @default.
- W2098830699 hasConcept C110251889 @default.
- W2098830699 hasConcept C11413529 @default.
- W2098830699 hasConcept C118615104 @default.
- W2098830699 hasConcept C134306372 @default.
- W2098830699 hasConcept C14523651 @default.
- W2098830699 hasConcept C150889026 @default.
- W2098830699 hasConcept C166374712 @default.
- W2098830699 hasConcept C178421362 @default.
- W2098830699 hasConcept C182365436 @default.
- W2098830699 hasConcept C191222856 @default.
- W2098830699 hasConcept C203659156 @default.
- W2098830699 hasConcept C33203268 @default.
- W2098830699 hasConcept C33923547 @default.
- W2098830699 hasConcept C3845977 @default.
- W2098830699 hasConcept C41008148 @default.
- W2098830699 hasConcept C69562738 @default.
- W2098830699 hasConcept C80444323 @default.
- W2098830699 hasConceptScore W2098830699C102993220 @default.
- W2098830699 hasConceptScore W2098830699C110039528 @default.
- W2098830699 hasConceptScore W2098830699C110251889 @default.
- W2098830699 hasConceptScore W2098830699C11413529 @default.
- W2098830699 hasConceptScore W2098830699C118615104 @default.
- W2098830699 hasConceptScore W2098830699C134306372 @default.
- W2098830699 hasConceptScore W2098830699C14523651 @default.
- W2098830699 hasConceptScore W2098830699C150889026 @default.
- W2098830699 hasConceptScore W2098830699C166374712 @default.
- W2098830699 hasConceptScore W2098830699C178421362 @default.
- W2098830699 hasConceptScore W2098830699C182365436 @default.
- W2098830699 hasConceptScore W2098830699C191222856 @default.
- W2098830699 hasConceptScore W2098830699C203659156 @default.
- W2098830699 hasConceptScore W2098830699C33203268 @default.
- W2098830699 hasConceptScore W2098830699C33923547 @default.
- W2098830699 hasConceptScore W2098830699C3845977 @default.
- W2098830699 hasConceptScore W2098830699C41008148 @default.
- W2098830699 hasConceptScore W2098830699C69562738 @default.
- W2098830699 hasConceptScore W2098830699C80444323 @default.
- W2098830699 hasLocation W20988306991 @default.
- W2098830699 hasOpenAccess W2098830699 @default.
- W2098830699 hasPrimaryLocation W20988306991 @default.
- W2098830699 hasRelatedWork W1484105406 @default.
- W2098830699 hasRelatedWork W1502488001 @default.
- W2098830699 hasRelatedWork W1544846403 @default.
- W2098830699 hasRelatedWork W1562822918 @default.
- W2098830699 hasRelatedWork W15639825 @default.
- W2098830699 hasRelatedWork W1608421539 @default.
- W2098830699 hasRelatedWork W1721185193 @default.
- W2098830699 hasRelatedWork W1951369434 @default.
- W2098830699 hasRelatedWork W1963559850 @default.
- W2098830699 hasRelatedWork W2039832353 @default.
- W2098830699 hasRelatedWork W2042899834 @default.
- W2098830699 hasRelatedWork W2053963560 @default.
- W2098830699 hasRelatedWork W2055987169 @default.
- W2098830699 hasRelatedWork W2064071203 @default.
- W2098830699 hasRelatedWork W2072923153 @default.
- W2098830699 hasRelatedWork W2163197731 @default.
- W2098830699 hasRelatedWork W2167180320 @default.
- W2098830699 hasRelatedWork W2532516462 @default.
- W2098830699 hasRelatedWork W2951270254 @default.
- W2098830699 hasRelatedWork W3158093902 @default.
- W2098830699 hasVolume "9" @default.
- W2098830699 isParatext "false" @default.
- W2098830699 isRetracted "false" @default.
- W2098830699 magId "2098830699" @default.
- W2098830699 workType "article" @default.