FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W45978246> ?p ?o ?g. }

• W45978246 endingPage "779" @default.
• W45978246 startingPage "774" @default.
• W45978246 abstract "It is well-known that satisfiability (and hence validity) in the minimal classical modal logic is a PSPACE-complete problem. In this paper we consider the satisfiability and validity problems (here they are not dual, although mutually reducible) for the minimal modal logic over a finite Lukasiewicz chain, and show that they also are PSPACE-complete. This result is also true when adding either the Delta operator or truth constants in the language, i.e. in all these cases it is PSPACE-complete." @default.
• W45978246 created "2016-06-24" @default.
• W45978246 creator A5025834328 @default.
• W45978246 creator A5065693171 @default.
• W45978246 creator A5086317940 @default.
• W45978246 date "2011-07-16" @default.
• W45978246 modified "2023-10-18" @default.
• W45978246 title "Finite-valued Lukasiewicz modal logic Is PSPACE-complete" @default.
• W45978246 cites W1555563750 @default.
• W45978246 cites W1566552629 @default.
• W45978246 cites W1599662011 @default.
• W45978246 cites W1788728865 @default.
• W45978246 cites W1969724379 @default.
• W45978246 cites W2033088754 @default.
• W45978246 cites W2073491323 @default.
• W45978246 cites W2107849535 @default.
• W45978246 cites W2110182592 @default.
• W45978246 cites W2610670723 @default.
• W45978246 cites W80737574 @default.
• W45978246 doi "https://doi.org/10.5591/978-1-57735-516-8/ijcai11-136" @default.
• W45978246 hasPublicationYear "2011" @default.
• W45978246 type Work @default.
• W45978246 sameAs 45978246 @default.
• W45978246 citedByCount "10" @default.
• W45978246 countsByYear W459782462012 @default.
• W45978246 countsByYear W459782462013 @default.
• W45978246 countsByYear W459782462014 @default.
• W45978246 countsByYear W459782462015 @default.
• W45978246 countsByYear W459782462017 @default.
• W45978246 countsByYear W459782462021 @default.
• W45978246 crossrefType "proceedings-article" @default.
• W45978246 hasAuthorship W45978246A5025834328 @default.
• W45978246 hasAuthorship W45978246A5065693171 @default.
• W45978246 hasAuthorship W45978246A5086317940 @default.
• W45978246 hasConcept C102993220 @default.
• W45978246 hasConcept C11191006 @default.
• W45978246 hasConcept C114092440 @default.
• W45978246 hasConcept C11413529 @default.
• W45978246 hasConcept C114614502 @default.
• W45978246 hasConcept C118615104 @default.
• W45978246 hasConcept C121332964 @default.
• W45978246 hasConcept C136119220 @default.
• W45978246 hasConcept C165801399 @default.
• W45978246 hasConcept C168773769 @default.
• W45978246 hasConcept C172385210 @default.
• W45978246 hasConcept C173125200 @default.
• W45978246 hasConcept C179799912 @default.
• W45978246 hasConcept C185592680 @default.
• W45978246 hasConcept C188027245 @default.
• W45978246 hasConcept C197685441 @default.
• W45978246 hasConcept C202444582 @default.
• W45978246 hasConcept C203659156 @default.
• W45978246 hasConcept C27508121 @default.
• W45978246 hasConcept C2777796570 @default.
• W45978246 hasConcept C33923547 @default.
• W45978246 hasConcept C41008148 @default.
• W45978246 hasConcept C62520636 @default.
• W45978246 hasConcept C6943359 @default.
• W45978246 hasConcept C71139939 @default.
• W45978246 hasConcept C78344899 @default.
• W45978246 hasConcept C80444323 @default.
• W45978246 hasConceptScore W45978246C102993220 @default.
• W45978246 hasConceptScore W45978246C11191006 @default.
• W45978246 hasConceptScore W45978246C114092440 @default.
• W45978246 hasConceptScore W45978246C11413529 @default.
• W45978246 hasConceptScore W45978246C114614502 @default.
• W45978246 hasConceptScore W45978246C118615104 @default.
• W45978246 hasConceptScore W45978246C121332964 @default.
• W45978246 hasConceptScore W45978246C136119220 @default.
• W45978246 hasConceptScore W45978246C165801399 @default.
• W45978246 hasConceptScore W45978246C168773769 @default.
• W45978246 hasConceptScore W45978246C172385210 @default.
• W45978246 hasConceptScore W45978246C173125200 @default.
• W45978246 hasConceptScore W45978246C179799912 @default.
• W45978246 hasConceptScore W45978246C185592680 @default.
• W45978246 hasConceptScore W45978246C188027245 @default.
• W45978246 hasConceptScore W45978246C197685441 @default.
• W45978246 hasConceptScore W45978246C202444582 @default.
• W45978246 hasConceptScore W45978246C203659156 @default.
• W45978246 hasConceptScore W45978246C27508121 @default.
• W45978246 hasConceptScore W45978246C2777796570 @default.
• W45978246 hasConceptScore W45978246C33923547 @default.
• W45978246 hasConceptScore W45978246C41008148 @default.
• W45978246 hasConceptScore W45978246C62520636 @default.
• W45978246 hasConceptScore W45978246C6943359 @default.
• W45978246 hasConceptScore W45978246C71139939 @default.
• W45978246 hasConceptScore W45978246C78344899 @default.
• W45978246 hasConceptScore W45978246C80444323 @default.
• W45978246 hasLocation W459782461 @default.
• W45978246 hasOpenAccess W45978246 @default.
• W45978246 hasPrimaryLocation W459782461 @default.
• W45978246 hasRelatedWork W1558260377 @default.
• W45978246 hasRelatedWork W1969724379 @default.
• W45978246 hasRelatedWork W2033088754 @default.
• W45978246 hasRelatedWork W2048742358 @default.
• W45978246 hasRelatedWork W2095768683 @default.
• W45978246 hasRelatedWork W2101556477 @default.
• W45978246 hasRelatedWork W2103444877 @default.

• next