FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186269421> ?p ?o ?g. }

• W2186269421 abstract "In this work, I will present the preliminary concepts of my research topic which rests in the intersection of Justification Logic, Constructive Modality and Type Theory. This is a survey paper towards the second exam requirement for my Phd candidacy under the supervision of Distinguished Professor Sergei Artemov at the Department of Computer Science of the Graduate Center at City University of New York." @default.
• W2186269421 created "2016-06-24" @default.
• W2186269421 creator A5010041879 @default.
• W2186269421 date "2014-01-01" @default.
• W2186269421 modified "2023-09-27" @default.
• W2186269421 title "Justification Logic And Type Theory: First Steps Towards Justified Typed Modality" @default.
• W2186269421 cites W135301368 @default.
• W2186269421 cites W1482532876 @default.
• W2186269421 cites W1488538795 @default.
• W2186269421 cites W1532750793 @default.
• W2186269421 cites W1557561422 @default.
• W2186269421 cites W159715351 @default.
• W2186269421 cites W1981294086 @default.
• W2186269421 cites W1988824860 @default.
• W2186269421 cites W1997143185 @default.
• W2186269421 cites W2013654056 @default.
• W2186269421 cites W2036565723 @default.
• W2186269421 cites W2037984920 @default.
• W2186269421 cites W2043468053 @default.
• W2186269421 cites W2045237008 @default.
• W2186269421 cites W2065653710 @default.
• W2186269421 cites W2154273644 @default.
• W2186269421 cites W2308573476 @default.
• W2186269421 cites W2503066413 @default.
• W2186269421 cites W3134140253 @default.
• W2186269421 cites W86894014 @default.
• W2186269421 hasPublicationYear "2014" @default.
• W2186269421 type Work @default.
• W2186269421 sameAs 2186269421 @default.
• W2186269421 citedByCount "0" @default.
• W2186269421 crossrefType "journal-article" @default.
• W2186269421 hasAuthorship W2186269421A5010041879 @default.
• W2186269421 hasConcept C111472728 @default.
• W2186269421 hasConcept C127413603 @default.
• W2186269421 hasConcept C138885662 @default.
• W2186269421 hasConcept C145420912 @default.
• W2186269421 hasConcept C146978453 @default.
• W2186269421 hasConcept C154945302 @default.
• W2186269421 hasConcept C17744445 @default.
• W2186269421 hasConcept C18903297 @default.
• W2186269421 hasConcept C199360897 @default.
• W2186269421 hasConcept C199539241 @default.
• W2186269421 hasConcept C2777299769 @default.
• W2186269421 hasConcept C2778701210 @default.
• W2186269421 hasConcept C2780226545 @default.
• W2186269421 hasConcept C2780332366 @default.
• W2186269421 hasConcept C33923547 @default.
• W2186269421 hasConcept C41008148 @default.
• W2186269421 hasConcept C64543145 @default.
• W2186269421 hasConcept C86803240 @default.
• W2186269421 hasConcept C93682546 @default.
• W2186269421 hasConcept C94625758 @default.
• W2186269421 hasConcept C98045186 @default.
• W2186269421 hasConceptScore W2186269421C111472728 @default.
• W2186269421 hasConceptScore W2186269421C127413603 @default.
• W2186269421 hasConceptScore W2186269421C138885662 @default.
• W2186269421 hasConceptScore W2186269421C145420912 @default.
• W2186269421 hasConceptScore W2186269421C146978453 @default.
• W2186269421 hasConceptScore W2186269421C154945302 @default.
• W2186269421 hasConceptScore W2186269421C17744445 @default.
• W2186269421 hasConceptScore W2186269421C18903297 @default.
• W2186269421 hasConceptScore W2186269421C199360897 @default.
• W2186269421 hasConceptScore W2186269421C199539241 @default.
• W2186269421 hasConceptScore W2186269421C2777299769 @default.
• W2186269421 hasConceptScore W2186269421C2778701210 @default.
• W2186269421 hasConceptScore W2186269421C2780226545 @default.
• W2186269421 hasConceptScore W2186269421C2780332366 @default.
• W2186269421 hasConceptScore W2186269421C33923547 @default.
• W2186269421 hasConceptScore W2186269421C41008148 @default.
• W2186269421 hasConceptScore W2186269421C64543145 @default.
• W2186269421 hasConceptScore W2186269421C86803240 @default.
• W2186269421 hasConceptScore W2186269421C93682546 @default.
• W2186269421 hasConceptScore W2186269421C94625758 @default.
• W2186269421 hasConceptScore W2186269421C98045186 @default.
• W2186269421 hasLocation W21862694211 @default.
• W2186269421 hasOpenAccess W2186269421 @default.
• W2186269421 hasPrimaryLocation W21862694211 @default.
• W2186269421 hasRelatedWork W1507131792 @default.
• W2186269421 hasRelatedWork W1507168685 @default.
• W2186269421 hasRelatedWork W154620100 @default.
• W2186269421 hasRelatedWork W1945167468 @default.
• W2186269421 hasRelatedWork W2064445530 @default.
• W2186269421 hasRelatedWork W2096347629 @default.
• W2186269421 hasRelatedWork W2140910855 @default.
• W2186269421 hasRelatedWork W2147629218 @default.
• W2186269421 hasRelatedWork W2371950088 @default.
• W2186269421 hasRelatedWork W2601722430 @default.
• W2186269421 hasRelatedWork W2604078388 @default.
• W2186269421 hasRelatedWork W2788260722 @default.
• W2186269421 hasRelatedWork W3005800578 @default.
• W2186269421 hasRelatedWork W3194691699 @default.
• W2186269421 hasRelatedWork W575277644 @default.
• W2186269421 hasRelatedWork W619353710 @default.
• W2186269421 hasRelatedWork W80893307 @default.
• W2186269421 hasRelatedWork W856619540 @default.
• W2186269421 hasRelatedWork W86231063 @default.
• W2186269421 hasRelatedWork W573504857 @default.
• W2186269421 isParatext "false" @default.
• W2186269421 isRetracted "false" @default.
• W2186269421 magId "2186269421" @default.

• next