FRINK Linked Data Fragments server

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

• W86681704 endingPage "58" @default.
• W86681704 startingPage "39" @default.
• W86681704 abstract "Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms $mathsfd$, $mathsft$, $mathsfb$, $mathsf4$, and $mathsf5$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for $mathsfKB5$ and $mathsfS5$ by showing that the positive introspection operator is superfluous." @default.
• W86681704 created "2016-06-24" @default.
• W86681704 creator A5028404227 @default.
• W86681704 creator A5057280880 @default.
• W86681704 creator A5082531855 @default.
• W86681704 date "2010-01-01" @default.
• W86681704 modified "2023-09-26" @default.
• W86681704 title "A syntactic realization theorem for justification logics" @default.
• W86681704 cites W1583295953 @default.
• W86681704 cites W1607069510 @default.
• W86681704 cites W2003243270 @default.
• W86681704 cites W2031962352 @default.
• W86681704 cites W2043468053 @default.
• W86681704 cites W2045237008 @default.
• W86681704 cites W20793108 @default.
• W86681704 cites W2102625227 @default.
• W86681704 cites W2104288836 @default.
• W86681704 cites W2168747849 @default.
• W86681704 cites W2268476294 @default.
• W86681704 hasPublicationYear "2010" @default.
• W86681704 type Work @default.
• W86681704 sameAs 86681704 @default.
• W86681704 citedByCount "6" @default.
• W86681704 countsByYear W866817042012 @default.
• W86681704 countsByYear W866817042014 @default.
• W86681704 countsByYear W866817042021 @default.
• W86681704 crossrefType "proceedings-article" @default.
• W86681704 hasAuthorship W86681704A5028404227 @default.
• W86681704 hasAuthorship W86681704A5057280880 @default.
• W86681704 hasAuthorship W86681704A5082531855 @default.
• W86681704 hasConcept C104317684 @default.
• W86681704 hasConcept C105795698 @default.
• W86681704 hasConcept C108710211 @default.
• W86681704 hasConcept C114092440 @default.
• W86681704 hasConcept C118615104 @default.
• W86681704 hasConcept C136119220 @default.
• W86681704 hasConcept C154945302 @default.
• W86681704 hasConcept C158448853 @default.
• W86681704 hasConcept C167729594 @default.
• W86681704 hasConcept C17020691 @default.
• W86681704 hasConcept C185592680 @default.
• W86681704 hasConcept C188027245 @default.
• W86681704 hasConcept C199343813 @default.
• W86681704 hasConcept C199360897 @default.
• W86681704 hasConcept C202444582 @default.
• W86681704 hasConcept C2524010 @default.
• W86681704 hasConcept C27508121 @default.
• W86681704 hasConcept C2777686260 @default.
• W86681704 hasConcept C2778701210 @default.
• W86681704 hasConcept C2781089630 @default.
• W86681704 hasConcept C33923547 @default.
• W86681704 hasConcept C41008148 @default.
• W86681704 hasConcept C42011625 @default.
• W86681704 hasConcept C5263885 @default.
• W86681704 hasConcept C55493867 @default.
• W86681704 hasConcept C58166 @default.
• W86681704 hasConcept C65880906 @default.
• W86681704 hasConcept C71139939 @default.
• W86681704 hasConcept C71924100 @default.
• W86681704 hasConcept C86339819 @default.
• W86681704 hasConcept C86602344 @default.
• W86681704 hasConcept C89421646 @default.
• W86681704 hasConcept C98045186 @default.
• W86681704 hasConceptScore W86681704C104317684 @default.
• W86681704 hasConceptScore W86681704C105795698 @default.
• W86681704 hasConceptScore W86681704C108710211 @default.
• W86681704 hasConceptScore W86681704C114092440 @default.
• W86681704 hasConceptScore W86681704C118615104 @default.
• W86681704 hasConceptScore W86681704C136119220 @default.
• W86681704 hasConceptScore W86681704C154945302 @default.
• W86681704 hasConceptScore W86681704C158448853 @default.
• W86681704 hasConceptScore W86681704C167729594 @default.
• W86681704 hasConceptScore W86681704C17020691 @default.
• W86681704 hasConceptScore W86681704C185592680 @default.
• W86681704 hasConceptScore W86681704C188027245 @default.
• W86681704 hasConceptScore W86681704C199343813 @default.
• W86681704 hasConceptScore W86681704C199360897 @default.
• W86681704 hasConceptScore W86681704C202444582 @default.
• W86681704 hasConceptScore W86681704C2524010 @default.
• W86681704 hasConceptScore W86681704C27508121 @default.
• W86681704 hasConceptScore W86681704C2777686260 @default.
• W86681704 hasConceptScore W86681704C2778701210 @default.
• W86681704 hasConceptScore W86681704C2781089630 @default.
• W86681704 hasConceptScore W86681704C33923547 @default.
• W86681704 hasConceptScore W86681704C41008148 @default.
• W86681704 hasConceptScore W86681704C42011625 @default.
• W86681704 hasConceptScore W86681704C5263885 @default.
• W86681704 hasConceptScore W86681704C55493867 @default.
• W86681704 hasConceptScore W86681704C58166 @default.
• W86681704 hasConceptScore W86681704C65880906 @default.
• W86681704 hasConceptScore W86681704C71139939 @default.
• W86681704 hasConceptScore W86681704C71924100 @default.
• W86681704 hasConceptScore W86681704C86339819 @default.
• W86681704 hasConceptScore W86681704C86602344 @default.
• W86681704 hasConceptScore W86681704C89421646 @default.
• W86681704 hasConceptScore W86681704C98045186 @default.
• W86681704 hasLocation W866817041 @default.
• W86681704 hasOpenAccess W86681704 @default.

• next