FRINK Linked Data Fragments server

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

• W38751362 endingPage "194" @default.
• W38751362 startingPage "181" @default.
• W38751362 abstract "Previous research has shown that argumentation semantics can be described with Monadic Second Order Logic. While certain less expressive, modal, logics can also capture some of the semantics, the general issue of finding minimal modal logics that are able to describe certain argumentation semantics has not received a lot of attention in the literature so far. In this paper we show that full hybrid μ-calculus cannot describe the preferred semantics, thus providing a negative answer to an open question. We show that the same holds for the skeptical and credulous versions of the preferred semantics. Our result relies on the invariance of full hybrid μ-calculus with respect to a suitable notion of bisimulation. We provide a complete proof of this invariance in the paper.Keywordsfull hybrid mu-calculusargumentationbisimulation" @default.
• W38751362 created "2016-06-24" @default.
• W38751362 creator A5048984348 @default.
• W38751362 creator A5067561403 @default.
• W38751362 creator A5074295040 @default.
• W38751362 date "2012-01-01" @default.
• W38751362 modified "2023-10-16" @default.
• W38751362 title "Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation" @default.
• W38751362 cites W142499984 @default.
• W38751362 cites W1507873625 @default.
• W38751362 cites W158582132 @default.
• W38751362 cites W1689987508 @default.
• W38751362 cites W2104126268 @default.
• W38751362 cites W2112029595 @default.
• W38751362 cites W2113800199 @default.
• W38751362 cites W2118090719 @default.
• W38751362 cites W2167497429 @default.
• W38751362 cites W4211144022 @default.
• W38751362 doi "https://doi.org/10.1007/978-3-642-32897-8_13" @default.
• W38751362 hasPublicationYear "2012" @default.
• W38751362 type Work @default.
• W38751362 sameAs 38751362 @default.
• W38751362 citedByCount "0" @default.
• W38751362 crossrefType "book-chapter" @default.
• W38751362 hasAuthorship W38751362A5048984348 @default.
• W38751362 hasAuthorship W38751362A5067561403 @default.
• W38751362 hasAuthorship W38751362A5074295040 @default.
• W38751362 hasConcept C111472728 @default.
• W38751362 hasConcept C11413529 @default.
• W38751362 hasConcept C135315306 @default.
• W38751362 hasConcept C136119220 @default.
• W38751362 hasConcept C138885662 @default.
• W38751362 hasConcept C146499914 @default.
• W38751362 hasConcept C156325763 @default.
• W38751362 hasConcept C18296254 @default.
• W38751362 hasConcept C184337299 @default.
• W38751362 hasConcept C185592680 @default.
• W38751362 hasConcept C188027245 @default.
• W38751362 hasConcept C199343813 @default.
• W38751362 hasConcept C199360897 @default.
• W38751362 hasConcept C202444582 @default.
• W38751362 hasConcept C207648694 @default.
• W38751362 hasConcept C27508121 @default.
• W38751362 hasConcept C2777686260 @default.
• W38751362 hasConcept C33923547 @default.
• W38751362 hasConcept C41008148 @default.
• W38751362 hasConcept C41895202 @default.
• W38751362 hasConcept C65059942 @default.
• W38751362 hasConcept C71139939 @default.
• W38751362 hasConcept C71924100 @default.
• W38751362 hasConcept C80444323 @default.
• W38751362 hasConceptScore W38751362C111472728 @default.
• W38751362 hasConceptScore W38751362C11413529 @default.
• W38751362 hasConceptScore W38751362C135315306 @default.
• W38751362 hasConceptScore W38751362C136119220 @default.
• W38751362 hasConceptScore W38751362C138885662 @default.
• W38751362 hasConceptScore W38751362C146499914 @default.
• W38751362 hasConceptScore W38751362C156325763 @default.
• W38751362 hasConceptScore W38751362C18296254 @default.
• W38751362 hasConceptScore W38751362C184337299 @default.
• W38751362 hasConceptScore W38751362C185592680 @default.
• W38751362 hasConceptScore W38751362C188027245 @default.
• W38751362 hasConceptScore W38751362C199343813 @default.
• W38751362 hasConceptScore W38751362C199360897 @default.
• W38751362 hasConceptScore W38751362C202444582 @default.
• W38751362 hasConceptScore W38751362C207648694 @default.
• W38751362 hasConceptScore W38751362C27508121 @default.
• W38751362 hasConceptScore W38751362C2777686260 @default.
• W38751362 hasConceptScore W38751362C33923547 @default.
• W38751362 hasConceptScore W38751362C41008148 @default.
• W38751362 hasConceptScore W38751362C41895202 @default.
• W38751362 hasConceptScore W38751362C65059942 @default.
• W38751362 hasConceptScore W38751362C71139939 @default.
• W38751362 hasConceptScore W38751362C71924100 @default.
• W38751362 hasConceptScore W38751362C80444323 @default.
• W38751362 hasLocation W387513621 @default.
• W38751362 hasOpenAccess W38751362 @default.
• W38751362 hasPrimaryLocation W387513621 @default.
• W38751362 hasRelatedWork W1562991031 @default.
• W38751362 hasRelatedWork W1589830330 @default.
• W38751362 hasRelatedWork W1805258570 @default.
• W38751362 hasRelatedWork W1848162269 @default.
• W38751362 hasRelatedWork W1983240156 @default.
• W38751362 hasRelatedWork W2047220130 @default.
• W38751362 hasRelatedWork W2048735591 @default.
• W38751362 hasRelatedWork W2111152936 @default.
• W38751362 hasRelatedWork W2142128975 @default.
• W38751362 hasRelatedWork W2166423222 @default.
• W38751362 hasRelatedWork W2171275058 @default.
• W38751362 hasRelatedWork W2268902502 @default.
• W38751362 hasRelatedWork W2290372454 @default.
• W38751362 hasRelatedWork W2382473443 @default.
• W38751362 hasRelatedWork W2403928778 @default.
• W38751362 hasRelatedWork W2795943823 @default.
• W38751362 hasRelatedWork W2802365993 @default.
• W38751362 hasRelatedWork W2963628981 @default.
• W38751362 hasRelatedWork W3016712490 @default.
• W38751362 hasRelatedWork W3177083957 @default.

• next