Matches in SemOpenAlex for { <https://semopenalex.org/work/W2388788359> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2388788359 abstract "By introducing the new modality and the Boolean operators among modalities,this paper establishes information logic system BILC, and suggests that BILC is a useful tool in the researching into Vakarelov's open problem. The completeness and soundness of BILC with respect to the nonstandard frames are proved. Furthermore, the main result of the paper reveal that the method presented by Vakarelov is ill-suited for dealing with the completeness of BILC with respect to the standard frames." @default.
- W2388788359 created "2016-06-24" @default.
- W2388788359 creator A5077173613 @default.
- W2388788359 date "1999-01-01" @default.
- W2388788359 modified "2023-09-23" @default.
- W2388788359 title "ON THE RESEARCH OF VAKARELOV'S OPEN PROBLEM" @default.
- W2388788359 hasPublicationYear "1999" @default.
- W2388788359 type Work @default.
- W2388788359 sameAs 2388788359 @default.
- W2388788359 citedByCount "0" @default.
- W2388788359 crossrefType "journal-article" @default.
- W2388788359 hasAuthorship W2388788359A5077173613 @default.
- W2388788359 hasConcept C134306372 @default.
- W2388788359 hasConcept C144024400 @default.
- W2388788359 hasConcept C154945302 @default.
- W2388788359 hasConcept C17231256 @default.
- W2388788359 hasConcept C199343813 @default.
- W2388788359 hasConcept C199360897 @default.
- W2388788359 hasConcept C2777686260 @default.
- W2388788359 hasConcept C2779903281 @default.
- W2388788359 hasConcept C2780226545 @default.
- W2388788359 hasConcept C33923547 @default.
- W2388788359 hasConcept C36289849 @default.
- W2388788359 hasConcept C39920170 @default.
- W2388788359 hasConcept C41008148 @default.
- W2388788359 hasConcept C71924100 @default.
- W2388788359 hasConcept C80444323 @default.
- W2388788359 hasConceptScore W2388788359C134306372 @default.
- W2388788359 hasConceptScore W2388788359C144024400 @default.
- W2388788359 hasConceptScore W2388788359C154945302 @default.
- W2388788359 hasConceptScore W2388788359C17231256 @default.
- W2388788359 hasConceptScore W2388788359C199343813 @default.
- W2388788359 hasConceptScore W2388788359C199360897 @default.
- W2388788359 hasConceptScore W2388788359C2777686260 @default.
- W2388788359 hasConceptScore W2388788359C2779903281 @default.
- W2388788359 hasConceptScore W2388788359C2780226545 @default.
- W2388788359 hasConceptScore W2388788359C33923547 @default.
- W2388788359 hasConceptScore W2388788359C36289849 @default.
- W2388788359 hasConceptScore W2388788359C39920170 @default.
- W2388788359 hasConceptScore W2388788359C41008148 @default.
- W2388788359 hasConceptScore W2388788359C71924100 @default.
- W2388788359 hasConceptScore W2388788359C80444323 @default.
- W2388788359 hasOpenAccess W2388788359 @default.
- W2388788359 hasRelatedWork W1503051607 @default.
- W2388788359 hasRelatedWork W1507069282 @default.
- W2388788359 hasRelatedWork W1536794365 @default.
- W2388788359 hasRelatedWork W164610590 @default.
- W2388788359 hasRelatedWork W172135744 @default.
- W2388788359 hasRelatedWork W189070505 @default.
- W2388788359 hasRelatedWork W2001560360 @default.
- W2388788359 hasRelatedWork W2058269520 @default.
- W2388788359 hasRelatedWork W2123964226 @default.
- W2388788359 hasRelatedWork W2136179811 @default.
- W2388788359 hasRelatedWork W2149987967 @default.
- W2388788359 hasRelatedWork W2406822549 @default.
- W2388788359 hasRelatedWork W2907207368 @default.
- W2388788359 hasRelatedWork W2949681916 @default.
- W2388788359 hasRelatedWork W2952057171 @default.
- W2388788359 hasRelatedWork W2963559825 @default.
- W2388788359 hasRelatedWork W3022840914 @default.
- W2388788359 hasRelatedWork W3192921270 @default.
- W2388788359 hasRelatedWork W934101978 @default.
- W2388788359 hasRelatedWork W996903698 @default.
- W2388788359 isParatext "false" @default.
- W2388788359 isRetracted "false" @default.
- W2388788359 magId "2388788359" @default.
- W2388788359 workType "article" @default.