Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382491212> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4382491212 abstract "We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments." @default.
- W4382491212 created "2023-06-29" @default.
- W4382491212 creator A5028473449 @default.
- W4382491212 creator A5075418855 @default.
- W4382491212 date "2023-06-27" @default.
- W4382491212 modified "2023-09-26" @default.
- W4382491212 title "On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics" @default.
- W4382491212 doi "https://doi.org/10.48550/arxiv.2306.15202" @default.
- W4382491212 hasPublicationYear "2023" @default.
- W4382491212 type Work @default.
- W4382491212 citedByCount "0" @default.
- W4382491212 crossrefType "posted-content" @default.
- W4382491212 hasAuthorship W4382491212A5028473449 @default.
- W4382491212 hasAuthorship W4382491212A5075418855 @default.
- W4382491212 hasBestOaLocation W43824912121 @default.
- W4382491212 hasConcept C11191006 @default.
- W4382491212 hasConcept C114092440 @default.
- W4382491212 hasConcept C134306372 @default.
- W4382491212 hasConcept C136119220 @default.
- W4382491212 hasConcept C182365436 @default.
- W4382491212 hasConcept C188027245 @default.
- W4382491212 hasConcept C192562407 @default.
- W4382491212 hasConcept C202444582 @default.
- W4382491212 hasConcept C27508121 @default.
- W4382491212 hasConcept C33923547 @default.
- W4382491212 hasConcept C41008148 @default.
- W4382491212 hasConcept C54355233 @default.
- W4382491212 hasConcept C71139939 @default.
- W4382491212 hasConcept C86803240 @default.
- W4382491212 hasConcept C92811239 @default.
- W4382491212 hasConceptScore W4382491212C11191006 @default.
- W4382491212 hasConceptScore W4382491212C114092440 @default.
- W4382491212 hasConceptScore W4382491212C134306372 @default.
- W4382491212 hasConceptScore W4382491212C136119220 @default.
- W4382491212 hasConceptScore W4382491212C182365436 @default.
- W4382491212 hasConceptScore W4382491212C188027245 @default.
- W4382491212 hasConceptScore W4382491212C192562407 @default.
- W4382491212 hasConceptScore W4382491212C202444582 @default.
- W4382491212 hasConceptScore W4382491212C27508121 @default.
- W4382491212 hasConceptScore W4382491212C33923547 @default.
- W4382491212 hasConceptScore W4382491212C41008148 @default.
- W4382491212 hasConceptScore W4382491212C54355233 @default.
- W4382491212 hasConceptScore W4382491212C71139939 @default.
- W4382491212 hasConceptScore W4382491212C86803240 @default.
- W4382491212 hasConceptScore W4382491212C92811239 @default.
- W4382491212 hasLocation W43824912121 @default.
- W4382491212 hasOpenAccess W4382491212 @default.
- W4382491212 hasPrimaryLocation W43824912121 @default.
- W4382491212 hasRelatedWork W128023316 @default.
- W4382491212 hasRelatedWork W1480754868 @default.
- W4382491212 hasRelatedWork W1510335712 @default.
- W4382491212 hasRelatedWork W1537541219 @default.
- W4382491212 hasRelatedWork W1978559879 @default.
- W4382491212 hasRelatedWork W2098448721 @default.
- W4382491212 hasRelatedWork W2130655577 @default.
- W4382491212 hasRelatedWork W2293416696 @default.
- W4382491212 hasRelatedWork W2503467744 @default.
- W4382491212 hasRelatedWork W3176847254 @default.
- W4382491212 isParatext "false" @default.
- W4382491212 isRetracted "false" @default.
- W4382491212 workType "article" @default.