Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904200500> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2904200500 abstract "We evaluate the modal logic GL2 in two axioms and for satisfiability. One of the two axioms is not tautologous, and the five formulas for PSpace complete satisfiability are not tautologous. Hence GL2 is refuted." @default.
- W2904200500 created "2018-12-22" @default.
- W2904200500 creator A5080174307 @default.
- W2904200500 date "2018-12-01" @default.
- W2904200500 modified "2023-09-26" @default.
- W2904200500 title "Refutation of the modal logic GL2" @default.
- W2904200500 hasPublicationYear "2018" @default.
- W2904200500 type Work @default.
- W2904200500 sameAs 2904200500 @default.
- W2904200500 citedByCount "0" @default.
- W2904200500 crossrefType "posted-content" @default.
- W2904200500 hasAuthorship W2904200500A5080174307 @default.
- W2904200500 hasConcept C114092440 @default.
- W2904200500 hasConcept C11413529 @default.
- W2904200500 hasConcept C118615104 @default.
- W2904200500 hasConcept C121332964 @default.
- W2904200500 hasConcept C136119220 @default.
- W2904200500 hasConcept C165801399 @default.
- W2904200500 hasConcept C167729594 @default.
- W2904200500 hasConcept C168773769 @default.
- W2904200500 hasConcept C172385210 @default.
- W2904200500 hasConcept C179799912 @default.
- W2904200500 hasConcept C185592680 @default.
- W2904200500 hasConcept C188027245 @default.
- W2904200500 hasConcept C197685441 @default.
- W2904200500 hasConcept C199343813 @default.
- W2904200500 hasConcept C202444582 @default.
- W2904200500 hasConcept C2524010 @default.
- W2904200500 hasConcept C27508121 @default.
- W2904200500 hasConcept C2777686260 @default.
- W2904200500 hasConcept C2777796570 @default.
- W2904200500 hasConcept C33923547 @default.
- W2904200500 hasConcept C62520636 @default.
- W2904200500 hasConcept C71139939 @default.
- W2904200500 hasConcept C71924100 @default.
- W2904200500 hasConceptScore W2904200500C114092440 @default.
- W2904200500 hasConceptScore W2904200500C11413529 @default.
- W2904200500 hasConceptScore W2904200500C118615104 @default.
- W2904200500 hasConceptScore W2904200500C121332964 @default.
- W2904200500 hasConceptScore W2904200500C136119220 @default.
- W2904200500 hasConceptScore W2904200500C165801399 @default.
- W2904200500 hasConceptScore W2904200500C167729594 @default.
- W2904200500 hasConceptScore W2904200500C168773769 @default.
- W2904200500 hasConceptScore W2904200500C172385210 @default.
- W2904200500 hasConceptScore W2904200500C179799912 @default.
- W2904200500 hasConceptScore W2904200500C185592680 @default.
- W2904200500 hasConceptScore W2904200500C188027245 @default.
- W2904200500 hasConceptScore W2904200500C197685441 @default.
- W2904200500 hasConceptScore W2904200500C199343813 @default.
- W2904200500 hasConceptScore W2904200500C202444582 @default.
- W2904200500 hasConceptScore W2904200500C2524010 @default.
- W2904200500 hasConceptScore W2904200500C27508121 @default.
- W2904200500 hasConceptScore W2904200500C2777686260 @default.
- W2904200500 hasConceptScore W2904200500C2777796570 @default.
- W2904200500 hasConceptScore W2904200500C33923547 @default.
- W2904200500 hasConceptScore W2904200500C62520636 @default.
- W2904200500 hasConceptScore W2904200500C71139939 @default.
- W2904200500 hasConceptScore W2904200500C71924100 @default.
- W2904200500 hasLocation W29042005001 @default.
- W2904200500 hasOpenAccess W2904200500 @default.
- W2904200500 hasPrimaryLocation W29042005001 @default.
- W2904200500 hasRelatedWork W1572035002 @default.
- W2904200500 hasRelatedWork W2009938424 @default.
- W2904200500 hasRelatedWork W2054717969 @default.
- W2904200500 hasRelatedWork W2055279698 @default.
- W2904200500 hasRelatedWork W2074283846 @default.
- W2904200500 hasRelatedWork W2074901796 @default.
- W2904200500 hasRelatedWork W2163983803 @default.
- W2904200500 hasRelatedWork W2172664514 @default.
- W2904200500 hasRelatedWork W2396224268 @default.
- W2904200500 hasRelatedWork W2496667051 @default.
- W2904200500 hasRelatedWork W2547970422 @default.
- W2904200500 hasRelatedWork W2593187777 @default.
- W2904200500 hasRelatedWork W2896709287 @default.
- W2904200500 hasRelatedWork W2951101271 @default.
- W2904200500 hasRelatedWork W2952995226 @default.
- W2904200500 hasRelatedWork W3034779625 @default.
- W2904200500 hasRelatedWork W3098273402 @default.
- W2904200500 hasRelatedWork W3105926622 @default.
- W2904200500 hasRelatedWork W645775852 @default.
- W2904200500 hasRelatedWork W1487101930 @default.
- W2904200500 isParatext "false" @default.
- W2904200500 isRetracted "false" @default.
- W2904200500 magId "2904200500" @default.
- W2904200500 workType "article" @default.