FRINK Linked Data Fragments server

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

• W2807980273 endingPage "1104" @default.
• W2807980273 startingPage "1097" @default.
• W2807980273 abstract "In this paper we introduce hypersequent-based frameworks for the modeling of defeasible reasoning by means of logic-based argumentation. These frameworks are an extension of sequent-based argumentation frameworks, in which arguments are represented not only by sequents, but by more general expressions, called hypersequents . This generalization allows to incorporate, as the deductive-base of our formalism, some well-studied logics like the modal logic S5, the relavent logic RM, and Godel-Dummett logic LC, to which no cut-free sequent calculi are known. In this paper we take S5 as the core logic and show that the hypersequent-based argumentation frameworks that are obtained in this case yield a robust defeasible variant of S5 with several desirable properties." @default.
• W2807980273 created "2018-06-21" @default.
• W2807980273 creator A5028643056 @default.
• W2807980273 creator A5063927003 @default.
• W2807980273 date "2018-07-09" @default.
• W2807980273 modified "2023-09-24" @default.
• W2807980273 title "Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5" @default.
• W2807980273 cites W1027503670 @default.
• W2807980273 cites W131977051 @default.
• W2807980273 cites W142312089 @default.
• W2807980273 cites W1825730661 @default.
• W2807980273 cites W1979409532 @default.
• W2807980273 cites W1988062200 @default.
• W2807980273 cites W1990470938 @default.
• W2807980273 cites W1999585651 @default.
• W2807980273 cites W2003822553 @default.
• W2807980273 cites W2006559750 @default.
• W2807980273 cites W2015899729 @default.
• W2807980273 cites W2023360154 @default.
• W2807980273 cites W2029665446 @default.
• W2807980273 cites W2031313050 @default.
• W2807980273 cites W2039020269 @default.
• W2807980273 cites W2063837957 @default.
• W2807980273 cites W2076386122 @default.
• W2807980273 cites W2098580639 @default.
• W2807980273 cites W2104126268 @default.
• W2807980273 cites W2121835362 @default.
• W2807980273 cites W2156092566 @default.
• W2807980273 cites W2159131252 @default.
• W2807980273 cites W2159569510 @default.
• W2807980273 cites W2160771441 @default.
• W2807980273 cites W2200082299 @default.
• W2807980273 cites W2337356819 @default.
• W2807980273 cites W2469001723 @default.
• W2807980273 cites W2749922657 @default.
• W2807980273 cites W2749988831 @default.
• W2807980273 cites W2793652835 @default.
• W2807980273 cites W577555597 @default.
• W2807980273 cites W607239742 @default.
• W2807980273 cites W82724731 @default.
• W2807980273 hasPublicationYear "2018" @default.
• W2807980273 type Work @default.
• W2807980273 sameAs 2807980273 @default.
• W2807980273 citedByCount "0" @default.
• W2807980273 crossrefType "proceedings-article" @default.
• W2807980273 hasAuthorship W2807980273A5028643056 @default.
• W2807980273 hasAuthorship W2807980273A5063927003 @default.
• W2807980273 hasConcept C102993220 @default.
• W2807980273 hasConcept C108710211 @default.
• W2807980273 hasConcept C111472728 @default.
• W2807980273 hasConcept C11191006 @default.
• W2807980273 hasConcept C114092440 @default.
• W2807980273 hasConcept C138885662 @default.
• W2807980273 hasConcept C142362112 @default.
• W2807980273 hasConcept C153349607 @default.
• W2807980273 hasConcept C159032336 @default.
• W2807980273 hasConcept C185592680 @default.
• W2807980273 hasConcept C188027245 @default.
• W2807980273 hasConcept C192609573 @default.
• W2807980273 hasConcept C199343813 @default.
• W2807980273 hasConcept C199360897 @default.
• W2807980273 hasConcept C203659156 @default.
• W2807980273 hasConcept C2524010 @default.
• W2807980273 hasConcept C27508121 @default.
• W2807980273 hasConcept C2777686260 @default.
• W2807980273 hasConcept C33923547 @default.
• W2807980273 hasConcept C41008148 @default.
• W2807980273 hasConcept C558565934 @default.
• W2807980273 hasConcept C65059942 @default.
• W2807980273 hasConcept C65880906 @default.
• W2807980273 hasConcept C71139939 @default.
• W2807980273 hasConcept C71924100 @default.
• W2807980273 hasConcept C73301696 @default.
• W2807980273 hasConcept C80444323 @default.
• W2807980273 hasConcept C89421646 @default.
• W2807980273 hasConceptScore W2807980273C102993220 @default.
• W2807980273 hasConceptScore W2807980273C108710211 @default.
• W2807980273 hasConceptScore W2807980273C111472728 @default.
• W2807980273 hasConceptScore W2807980273C11191006 @default.
• W2807980273 hasConceptScore W2807980273C114092440 @default.
• W2807980273 hasConceptScore W2807980273C138885662 @default.
• W2807980273 hasConceptScore W2807980273C142362112 @default.
• W2807980273 hasConceptScore W2807980273C153349607 @default.
• W2807980273 hasConceptScore W2807980273C159032336 @default.
• W2807980273 hasConceptScore W2807980273C185592680 @default.
• W2807980273 hasConceptScore W2807980273C188027245 @default.
• W2807980273 hasConceptScore W2807980273C192609573 @default.
• W2807980273 hasConceptScore W2807980273C199343813 @default.
• W2807980273 hasConceptScore W2807980273C199360897 @default.
• W2807980273 hasConceptScore W2807980273C203659156 @default.
• W2807980273 hasConceptScore W2807980273C2524010 @default.
• W2807980273 hasConceptScore W2807980273C27508121 @default.
• W2807980273 hasConceptScore W2807980273C2777686260 @default.
• W2807980273 hasConceptScore W2807980273C33923547 @default.
• W2807980273 hasConceptScore W2807980273C41008148 @default.
• W2807980273 hasConceptScore W2807980273C558565934 @default.
• W2807980273 hasConceptScore W2807980273C65059942 @default.
• W2807980273 hasConceptScore W2807980273C65880906 @default.

• next