Matches in SemOpenAlex for { <https://semopenalex.org/work/W2915292723> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2915292723 abstract "The automated proof search system and decidability for logic of correlated knowledge is presented in this paper. The core of the proof system is the sequent calculus with the properties of soundness, completeness, admissibility of cut and structural rules, and invertibility of all rules. The proof search procedure based on the sequent calculus performs automated terminating proof search and allows us to achieve decision result for logic of correlated knowledge." @default.
- W2915292723 created "2019-03-02" @default.
- W2915292723 creator A5023598509 @default.
- W2915292723 creator A5047308562 @default.
- W2915292723 date "2019-02-23" @default.
- W2915292723 modified "2023-09-27" @default.
- W2915292723 title "Automated proof search system for logic of correlated knowledge." @default.
- W2915292723 cites W1528233644 @default.
- W2915292723 cites W1995718667 @default.
- W2915292723 cites W2039977878 @default.
- W2915292723 cites W2075277371 @default.
- W2915292723 cites W2088135026 @default.
- W2915292723 cites W2115407978 @default.
- W2915292723 cites W2123117474 @default.
- W2915292723 hasPublicationYear "2019" @default.
- W2915292723 type Work @default.
- W2915292723 sameAs 2915292723 @default.
- W2915292723 citedByCount "0" @default.
- W2915292723 crossrefType "posted-content" @default.
- W2915292723 hasAuthorship W2915292723A5023598509 @default.
- W2915292723 hasAuthorship W2915292723A5047308562 @default.
- W2915292723 hasConcept C108710211 @default.
- W2915292723 hasConcept C111404639 @default.
- W2915292723 hasConcept C11413529 @default.
- W2915292723 hasConcept C118615104 @default.
- W2915292723 hasConcept C134306372 @default.
- W2915292723 hasConcept C153269930 @default.
- W2915292723 hasConcept C17231256 @default.
- W2915292723 hasConcept C195653647 @default.
- W2915292723 hasConcept C199343813 @default.
- W2915292723 hasConcept C199360897 @default.
- W2915292723 hasConcept C2318724 @default.
- W2915292723 hasConcept C2524010 @default.
- W2915292723 hasConcept C2777686260 @default.
- W2915292723 hasConcept C33923547 @default.
- W2915292723 hasConcept C39920170 @default.
- W2915292723 hasConcept C41008148 @default.
- W2915292723 hasConcept C62073222 @default.
- W2915292723 hasConcept C6489637 @default.
- W2915292723 hasConcept C65880906 @default.
- W2915292723 hasConcept C71924100 @default.
- W2915292723 hasConcept C89421646 @default.
- W2915292723 hasConceptScore W2915292723C108710211 @default.
- W2915292723 hasConceptScore W2915292723C111404639 @default.
- W2915292723 hasConceptScore W2915292723C11413529 @default.
- W2915292723 hasConceptScore W2915292723C118615104 @default.
- W2915292723 hasConceptScore W2915292723C134306372 @default.
- W2915292723 hasConceptScore W2915292723C153269930 @default.
- W2915292723 hasConceptScore W2915292723C17231256 @default.
- W2915292723 hasConceptScore W2915292723C195653647 @default.
- W2915292723 hasConceptScore W2915292723C199343813 @default.
- W2915292723 hasConceptScore W2915292723C199360897 @default.
- W2915292723 hasConceptScore W2915292723C2318724 @default.
- W2915292723 hasConceptScore W2915292723C2524010 @default.
- W2915292723 hasConceptScore W2915292723C2777686260 @default.
- W2915292723 hasConceptScore W2915292723C33923547 @default.
- W2915292723 hasConceptScore W2915292723C39920170 @default.
- W2915292723 hasConceptScore W2915292723C41008148 @default.
- W2915292723 hasConceptScore W2915292723C62073222 @default.
- W2915292723 hasConceptScore W2915292723C6489637 @default.
- W2915292723 hasConceptScore W2915292723C65880906 @default.
- W2915292723 hasConceptScore W2915292723C71924100 @default.
- W2915292723 hasConceptScore W2915292723C89421646 @default.
- W2915292723 hasLocation W29152927231 @default.
- W2915292723 hasOpenAccess W2915292723 @default.
- W2915292723 hasPrimaryLocation W29152927231 @default.
- W2915292723 hasRelatedWork W104504068 @default.
- W2915292723 hasRelatedWork W1486232991 @default.
- W2915292723 hasRelatedWork W1549715025 @default.
- W2915292723 hasRelatedWork W1559348839 @default.
- W2915292723 hasRelatedWork W159279589 @default.
- W2915292723 hasRelatedWork W1844803781 @default.
- W2915292723 hasRelatedWork W2004436487 @default.
- W2915292723 hasRelatedWork W2013199089 @default.
- W2915292723 hasRelatedWork W2048265179 @default.
- W2915292723 hasRelatedWork W2130524429 @default.
- W2915292723 hasRelatedWork W2163355139 @default.
- W2915292723 hasRelatedWork W2166962989 @default.
- W2915292723 hasRelatedWork W2399995426 @default.
- W2915292723 hasRelatedWork W2464096065 @default.
- W2915292723 hasRelatedWork W29114720 @default.
- W2915292723 hasRelatedWork W2954612184 @default.
- W2915292723 hasRelatedWork W3016946803 @default.
- W2915292723 hasRelatedWork W3122573064 @default.
- W2915292723 hasRelatedWork W2164178488 @default.
- W2915292723 isParatext "false" @default.
- W2915292723 isRetracted "false" @default.
- W2915292723 magId "2915292723" @default.
- W2915292723 workType "article" @default.