Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953053885> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2953053885 abstract "The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive function type constructor under the above interpretation. The cases of deterministic and non-deterministic functions are considered and for both of them semantically complete modal logics are described and decidability of these logics is established." @default.
- W2953053885 created "2019-06-27" @default.
- W2953053885 creator A5029016464 @default.
- W2953053885 date "2004-07-12" @default.
- W2953053885 modified "2023-09-27" @default.
- W2953053885 title "On Modal Logics of Partial Recursive Functions" @default.
- W2953053885 cites W1588926042 @default.
- W2953053885 cites W1968739019 @default.
- W2953053885 cites W1979324125 @default.
- W2953053885 cites W2003295197 @default.
- W2953053885 cites W2023132547 @default.
- W2953053885 cites W2050527500 @default.
- W2953053885 cites W2089908109 @default.
- W2953053885 cites W2128057448 @default.
- W2953053885 cites W2336123333 @default.
- W2953053885 hasPublicationYear "2004" @default.
- W2953053885 type Work @default.
- W2953053885 sameAs 2953053885 @default.
- W2953053885 citedByCount "0" @default.
- W2953053885 crossrefType "posted-content" @default.
- W2953053885 hasAuthorship W2953053885A5029016464 @default.
- W2953053885 hasConcept C102993220 @default.
- W2953053885 hasConcept C11191006 @default.
- W2953053885 hasConcept C114092440 @default.
- W2953053885 hasConcept C118615104 @default.
- W2953053885 hasConcept C136119220 @default.
- W2953053885 hasConcept C14523651 @default.
- W2953053885 hasConcept C153269930 @default.
- W2953053885 hasConcept C173125200 @default.
- W2953053885 hasConcept C177264268 @default.
- W2953053885 hasConcept C182359184 @default.
- W2953053885 hasConcept C184337299 @default.
- W2953053885 hasConcept C185592680 @default.
- W2953053885 hasConcept C188027245 @default.
- W2953053885 hasConcept C199360897 @default.
- W2953053885 hasConcept C202444582 @default.
- W2953053885 hasConcept C27508121 @default.
- W2953053885 hasConcept C33203268 @default.
- W2953053885 hasConcept C33923547 @default.
- W2953053885 hasConcept C41008148 @default.
- W2953053885 hasConcept C527412718 @default.
- W2953053885 hasConcept C71139939 @default.
- W2953053885 hasConcept C80444323 @default.
- W2953053885 hasConceptScore W2953053885C102993220 @default.
- W2953053885 hasConceptScore W2953053885C11191006 @default.
- W2953053885 hasConceptScore W2953053885C114092440 @default.
- W2953053885 hasConceptScore W2953053885C118615104 @default.
- W2953053885 hasConceptScore W2953053885C136119220 @default.
- W2953053885 hasConceptScore W2953053885C14523651 @default.
- W2953053885 hasConceptScore W2953053885C153269930 @default.
- W2953053885 hasConceptScore W2953053885C173125200 @default.
- W2953053885 hasConceptScore W2953053885C177264268 @default.
- W2953053885 hasConceptScore W2953053885C182359184 @default.
- W2953053885 hasConceptScore W2953053885C184337299 @default.
- W2953053885 hasConceptScore W2953053885C185592680 @default.
- W2953053885 hasConceptScore W2953053885C188027245 @default.
- W2953053885 hasConceptScore W2953053885C199360897 @default.
- W2953053885 hasConceptScore W2953053885C202444582 @default.
- W2953053885 hasConceptScore W2953053885C27508121 @default.
- W2953053885 hasConceptScore W2953053885C33203268 @default.
- W2953053885 hasConceptScore W2953053885C33923547 @default.
- W2953053885 hasConceptScore W2953053885C41008148 @default.
- W2953053885 hasConceptScore W2953053885C527412718 @default.
- W2953053885 hasConceptScore W2953053885C71139939 @default.
- W2953053885 hasConceptScore W2953053885C80444323 @default.
- W2953053885 hasLocation W29530538851 @default.
- W2953053885 hasOpenAccess W2953053885 @default.
- W2953053885 hasPrimaryLocation W29530538851 @default.
- W2953053885 hasRelatedWork W1485990531 @default.
- W2953053885 hasRelatedWork W1570729432 @default.
- W2953053885 hasRelatedWork W1570796240 @default.
- W2953053885 hasRelatedWork W1588790262 @default.
- W2953053885 hasRelatedWork W1855671606 @default.
- W2953053885 hasRelatedWork W187636597 @default.
- W2953053885 hasRelatedWork W1997262001 @default.
- W2953053885 hasRelatedWork W1997477297 @default.
- W2953053885 hasRelatedWork W2033347295 @default.
- W2953053885 hasRelatedWork W2059053889 @default.
- W2953053885 hasRelatedWork W2149845275 @default.
- W2953053885 hasRelatedWork W2150137870 @default.
- W2953053885 hasRelatedWork W2168026495 @default.
- W2953053885 hasRelatedWork W2183228833 @default.
- W2953053885 hasRelatedWork W2275488006 @default.
- W2953053885 hasRelatedWork W2604254479 @default.
- W2953053885 hasRelatedWork W2977350810 @default.
- W2953053885 hasRelatedWork W3119769598 @default.
- W2953053885 hasRelatedWork W3158980506 @default.
- W2953053885 hasRelatedWork W71254099 @default.
- W2953053885 isParatext "false" @default.
- W2953053885 isRetracted "false" @default.
- W2953053885 magId "2953053885" @default.
- W2953053885 workType "article" @default.