Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490067613> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1490067613 endingPage "112" @default.
- W1490067613 startingPage "99" @default.
- W1490067613 abstract "We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete." @default.
- W1490067613 created "2016-06-24" @default.
- W1490067613 creator A5060413318 @default.
- W1490067613 date "1997-01-01" @default.
- W1490067613 modified "2023-09-25" @default.
- W1490067613 cites W1535241129 @default.
- W1490067613 cites W1535361561 @default.
- W1490067613 cites W1593210281 @default.
- W1490067613 cites W1600348701 @default.
- W1490067613 cites W1985779625 @default.
- W1490067613 cites W2001117289 @default.
- W1490067613 cites W2036265926 @default.
- W1490067613 cites W2076073997 @default.
- W1490067613 cites W2155581733 @default.
- W1490067613 cites W2163751633 @default.
- W1490067613 cites W2332287892 @default.
- W1490067613 cites W5642659 @default.
- W1490067613 doi "https://doi.org/10.1023/a:1004944015811" @default.
- W1490067613 hasPublicationYear "1997" @default.
- W1490067613 type Work @default.
- W1490067613 sameAs 1490067613 @default.
- W1490067613 citedByCount "13" @default.
- W1490067613 countsByYear W14900676132013 @default.
- W1490067613 countsByYear W14900676132015 @default.
- W1490067613 countsByYear W14900676132016 @default.
- W1490067613 countsByYear W14900676132018 @default.
- W1490067613 crossrefType "journal-article" @default.
- W1490067613 hasAuthorship W1490067613A5060413318 @default.
- W1490067613 hasConcept C104317684 @default.
- W1490067613 hasConcept C118615104 @default.
- W1490067613 hasConcept C134306372 @default.
- W1490067613 hasConcept C158448853 @default.
- W1490067613 hasConcept C168773769 @default.
- W1490067613 hasConcept C17020691 @default.
- W1490067613 hasConcept C17231256 @default.
- W1490067613 hasConcept C185592680 @default.
- W1490067613 hasConcept C199343813 @default.
- W1490067613 hasConcept C2777686260 @default.
- W1490067613 hasConcept C33923547 @default.
- W1490067613 hasConcept C41008148 @default.
- W1490067613 hasConcept C55493867 @default.
- W1490067613 hasConcept C71924100 @default.
- W1490067613 hasConcept C86339819 @default.
- W1490067613 hasConceptScore W1490067613C104317684 @default.
- W1490067613 hasConceptScore W1490067613C118615104 @default.
- W1490067613 hasConceptScore W1490067613C134306372 @default.
- W1490067613 hasConceptScore W1490067613C158448853 @default.
- W1490067613 hasConceptScore W1490067613C168773769 @default.
- W1490067613 hasConceptScore W1490067613C17020691 @default.
- W1490067613 hasConceptScore W1490067613C17231256 @default.
- W1490067613 hasConceptScore W1490067613C185592680 @default.
- W1490067613 hasConceptScore W1490067613C199343813 @default.
- W1490067613 hasConceptScore W1490067613C2777686260 @default.
- W1490067613 hasConceptScore W1490067613C33923547 @default.
- W1490067613 hasConceptScore W1490067613C41008148 @default.
- W1490067613 hasConceptScore W1490067613C55493867 @default.
- W1490067613 hasConceptScore W1490067613C71924100 @default.
- W1490067613 hasConceptScore W1490067613C86339819 @default.
- W1490067613 hasIssue "1" @default.
- W1490067613 hasLocation W14900676131 @default.
- W1490067613 hasLocation W14900676132 @default.
- W1490067613 hasLocation W14900676133 @default.
- W1490067613 hasOpenAccess W1490067613 @default.
- W1490067613 hasPrimaryLocation W14900676131 @default.
- W1490067613 hasRelatedWork W2024501204 @default.
- W1490067613 hasRelatedWork W2082723133 @default.
- W1490067613 hasRelatedWork W2141010048 @default.
- W1490067613 hasRelatedWork W2151523288 @default.
- W1490067613 hasRelatedWork W2620918030 @default.
- W1490067613 hasRelatedWork W2961983551 @default.
- W1490067613 hasRelatedWork W2966552573 @default.
- W1490067613 hasRelatedWork W4290056688 @default.
- W1490067613 hasRelatedWork W4381885911 @default.
- W1490067613 hasRelatedWork W2485483011 @default.
- W1490067613 hasVolume "58" @default.
- W1490067613 isParatext "false" @default.
- W1490067613 isRetracted "false" @default.
- W1490067613 magId "1490067613" @default.
- W1490067613 workType "article" @default.