FRINK Linked Data Fragments server

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

• W2023360154 abstract "We provide a general method for generating cutfree and/or analytic hypersequent Gentzen-type calculi for a variety of normal modal logics. The method applies to all modal logics characterized by Kripke frames, transitive Kripke frames, or symmetric Kripke frames satisfying some properties, given by first-order formulas of a certain simple form. This includes the logics KT, KD, S4, S5, K4D, K4.2, K4.3, KBD, KBT, and other modal logics, for some of which no Gentzen calculi was presented before. Cut-admissibility (or analyticity in the case of symmetric Kripke frames) is proved semantically in a uniform way for all constructed calculi. The decidability of each modal logic in this class immediately follows." @default.
• W2023360154 created "2016-06-24" @default.
• W2023360154 creator A5004737121 @default.
• W2023360154 date "2013-06-01" @default.
• W2023360154 modified "2023-10-03" @default.
• W2023360154 title "From Frame Properties to Hypersequent Rules in Modal Logics" @default.
• W2023360154 cites W1489270299 @default.
• W2023360154 cites W1966647830 @default.
• W2023360154 cites W1995718667 @default.
• W2023360154 cites W2062335537 @default.
• W2023360154 cites W2153202364 @default.
• W2023360154 cites W2160771441 @default.
• W2023360154 cites W56574371 @default.
• W2023360154 cites W570944246 @default.
• W2023360154 cites W607239742 @default.
• W2023360154 doi "https://doi.org/10.1109/lics.2013.47" @default.
• W2023360154 hasPublicationYear "2013" @default.
• W2023360154 type Work @default.
• W2023360154 sameAs 2023360154 @default.
• W2023360154 citedByCount "37" @default.
• W2023360154 countsByYear W20233601542013 @default.
• W2023360154 countsByYear W20233601542014 @default.
• W2023360154 countsByYear W20233601542015 @default.
• W2023360154 countsByYear W20233601542016 @default.
• W2023360154 countsByYear W20233601542018 @default.
• W2023360154 countsByYear W20233601542019 @default.
• W2023360154 countsByYear W20233601542020 @default.
• W2023360154 countsByYear W20233601542021 @default.
• W2023360154 countsByYear W20233601542022 @default.
• W2023360154 countsByYear W20233601542023 @default.
• W2023360154 crossrefType "proceedings-article" @default.
• W2023360154 hasAuthorship W2023360154A5004737121 @default.
• W2023360154 hasConcept C110251889 @default.
• W2023360154 hasConcept C111472728 @default.
• W2023360154 hasConcept C11191006 @default.
• W2023360154 hasConcept C114092440 @default.
• W2023360154 hasConcept C11413529 @default.
• W2023360154 hasConcept C114614502 @default.
• W2023360154 hasConcept C118615104 @default.
• W2023360154 hasConcept C126042441 @default.
• W2023360154 hasConcept C136119220 @default.
• W2023360154 hasConcept C138885662 @default.
• W2023360154 hasConcept C153269930 @default.
• W2023360154 hasConcept C154945302 @default.
• W2023360154 hasConcept C160131679 @default.
• W2023360154 hasConcept C161913894 @default.
• W2023360154 hasConcept C185592680 @default.
• W2023360154 hasConcept C188027245 @default.
• W2023360154 hasConcept C191399111 @default.
• W2023360154 hasConcept C199343813 @default.
• W2023360154 hasConcept C202444582 @default.
• W2023360154 hasConcept C27508121 @default.
• W2023360154 hasConcept C2777212361 @default.
• W2023360154 hasConcept C2777686260 @default.
• W2023360154 hasConcept C2780586882 @default.
• W2023360154 hasConcept C33923547 @default.
• W2023360154 hasConcept C41008148 @default.
• W2023360154 hasConcept C71139939 @default.
• W2023360154 hasConcept C71924100 @default.
• W2023360154 hasConcept C76155785 @default.
• W2023360154 hasConceptScore W2023360154C110251889 @default.
• W2023360154 hasConceptScore W2023360154C111472728 @default.
• W2023360154 hasConceptScore W2023360154C11191006 @default.
• W2023360154 hasConceptScore W2023360154C114092440 @default.
• W2023360154 hasConceptScore W2023360154C11413529 @default.
• W2023360154 hasConceptScore W2023360154C114614502 @default.
• W2023360154 hasConceptScore W2023360154C118615104 @default.
• W2023360154 hasConceptScore W2023360154C126042441 @default.
• W2023360154 hasConceptScore W2023360154C136119220 @default.
• W2023360154 hasConceptScore W2023360154C138885662 @default.
• W2023360154 hasConceptScore W2023360154C153269930 @default.
• W2023360154 hasConceptScore W2023360154C154945302 @default.
• W2023360154 hasConceptScore W2023360154C160131679 @default.
• W2023360154 hasConceptScore W2023360154C161913894 @default.
• W2023360154 hasConceptScore W2023360154C185592680 @default.
• W2023360154 hasConceptScore W2023360154C188027245 @default.
• W2023360154 hasConceptScore W2023360154C191399111 @default.
• W2023360154 hasConceptScore W2023360154C199343813 @default.
• W2023360154 hasConceptScore W2023360154C202444582 @default.
• W2023360154 hasConceptScore W2023360154C27508121 @default.
• W2023360154 hasConceptScore W2023360154C2777212361 @default.
• W2023360154 hasConceptScore W2023360154C2777686260 @default.
• W2023360154 hasConceptScore W2023360154C2780586882 @default.
• W2023360154 hasConceptScore W2023360154C33923547 @default.
• W2023360154 hasConceptScore W2023360154C41008148 @default.
• W2023360154 hasConceptScore W2023360154C71139939 @default.
• W2023360154 hasConceptScore W2023360154C71924100 @default.
• W2023360154 hasConceptScore W2023360154C76155785 @default.
• W2023360154 hasLocation W20233601541 @default.
• W2023360154 hasOpenAccess W2023360154 @default.
• W2023360154 hasPrimaryLocation W20233601541 @default.
• W2023360154 hasRelatedWork W1494843553 @default.
• W2023360154 hasRelatedWork W1599533611 @default.
• W2023360154 hasRelatedWork W1975181532 @default.
• W2023360154 hasRelatedWork W2062728934 @default.
• W2023360154 hasRelatedWork W2066151023 @default.
• W2023360154 hasRelatedWork W2101793126 @default.
• W2023360154 hasRelatedWork W2169388232 @default.
• W2023360154 hasRelatedWork W2271944696 @default.
• W2023360154 hasRelatedWork W2352549085 @default.

• next