FRINK Linked Data Fragments server

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

• W2114893507 endingPage "53" @default.
• W2114893507 startingPage "1" @default.
• W2114893507 abstract "In modal logics, graded (world) modalities have been deeply investigated as a useful framework for generalizing standard existential and universal modalities in such a way that they can express statements about a given number of immediately accessible worlds. These modalities have been recently investigated with respect to the μCalculus, which have provided succinctness, without affecting the satisfiability of the extended logic, that is, it remains solvable in ExpTime. A natural question that arises is how logics that allow reasoning about paths could be affected by considering graded path modalities . In this article, we investigate this question in the case of the branching-time temporal logic CTL (GCTL, for short). We prove that, although GCTL is more expressive than CTL, the satisfiability problem for GCTL remains solvable in ExpTime, even in the case that the graded numbers are coded in binary. This result is obtained by exploiting an automata-theoretic approach, which involves a model of alternating automata with satellites. The satisfiability result turns out to be even more interesting as we show that GCTL is at least exponentially more succinct than graded μCalculus." @default.
• W2114893507 created "2016-06-24" @default.
• W2114893507 creator A5052215915 @default.
• W2114893507 creator A5055415505 @default.
• W2114893507 creator A5071866046 @default.
• W2114893507 date "2012-08-01" @default.
• W2114893507 modified "2023-09-25" @default.
• W2114893507 title "Graded computation tree logic" @default.
• W2114893507 cites W134591393 @default.
• W2114893507 cites W1483892218 @default.
• W2114893507 cites W1534088363 @default.
• W2114893507 cites W1535073122 @default.
• W2114893507 cites W1636976386 @default.
• W2114893507 cites W1964962870 @default.
• W2114893507 cites W1970603830 @default.
• W2114893507 cites W1988808695 @default.
• W2114893507 cites W1991755574 @default.
• W2114893507 cites W1994451575 @default.
• W2114893507 cites W1996207810 @default.
• W2114893507 cites W2001959058 @default.
• W2114893507 cites W2004306067 @default.
• W2114893507 cites W2015640848 @default.
• W2114893507 cites W2023808162 @default.
• W2114893507 cites W2030926579 @default.
• W2114893507 cites W2033071128 @default.
• W2114893507 cites W2044461288 @default.
• W2114893507 cites W2050073538 @default.
• W2114893507 cites W2061668660 @default.
• W2114893507 cites W2067441543 @default.
• W2114893507 cites W2069709605 @default.
• W2114893507 cites W2076284895 @default.
• W2114893507 cites W2086035610 @default.
• W2114893507 cites W2092043492 @default.
• W2114893507 cites W2113885315 @default.
• W2114893507 cites W2126209209 @default.
• W2114893507 cites W2143564693 @default.
• W2114893507 cites W2145465694 @default.
• W2114893507 cites W2158212536 @default.
• W2114893507 cites W2160120224 @default.
• W2114893507 cites W2168910152 @default.
• W2114893507 cites W2951982224 @default.
• W2114893507 doi "https://doi.org/10.1145/2287718.2287725" @default.
• W2114893507 hasPublicationYear "2012" @default.
• W2114893507 type Work @default.
• W2114893507 sameAs 2114893507 @default.
• W2114893507 citedByCount "16" @default.
• W2114893507 countsByYear W21148935072014 @default.
• W2114893507 countsByYear W21148935072015 @default.
• W2114893507 countsByYear W21148935072016 @default.
• W2114893507 countsByYear W21148935072017 @default.
• W2114893507 countsByYear W21148935072018 @default.
• W2114893507 countsByYear W21148935072019 @default.
• W2114893507 countsByYear W21148935072020 @default.
• W2114893507 countsByYear W21148935072023 @default.
• W2114893507 crossrefType "journal-article" @default.
• W2114893507 hasAuthorship W2114893507A5052215915 @default.
• W2114893507 hasAuthorship W2114893507A5055415505 @default.
• W2114893507 hasAuthorship W2114893507A5071866046 @default.
• W2114893507 hasConcept C112505250 @default.
• W2114893507 hasConcept C11413529 @default.
• W2114893507 hasConcept C118615104 @default.
• W2114893507 hasConcept C144024400 @default.
• W2114893507 hasConcept C168773769 @default.
• W2114893507 hasConcept C179799912 @default.
• W2114893507 hasConcept C185592680 @default.
• W2114893507 hasConcept C188027245 @default.
• W2114893507 hasConcept C197685441 @default.
• W2114893507 hasConcept C198008173 @default.
• W2114893507 hasConcept C199343813 @default.
• W2114893507 hasConcept C199360897 @default.
• W2114893507 hasConcept C27508121 @default.
• W2114893507 hasConcept C2776493592 @default.
• W2114893507 hasConcept C2777686260 @default.
• W2114893507 hasConcept C2777735758 @default.
• W2114893507 hasConcept C2779903281 @default.
• W2114893507 hasConcept C33923547 @default.
• W2114893507 hasConcept C36289849 @default.
• W2114893507 hasConcept C41008148 @default.
• W2114893507 hasConcept C4777664 @default.
• W2114893507 hasConcept C56049555 @default.
• W2114893507 hasConcept C6943359 @default.
• W2114893507 hasConcept C71139939 @default.
• W2114893507 hasConcept C71924100 @default.
• W2114893507 hasConcept C80444323 @default.
• W2114893507 hasConceptScore W2114893507C112505250 @default.
• W2114893507 hasConceptScore W2114893507C11413529 @default.
• W2114893507 hasConceptScore W2114893507C118615104 @default.
• W2114893507 hasConceptScore W2114893507C144024400 @default.
• W2114893507 hasConceptScore W2114893507C168773769 @default.
• W2114893507 hasConceptScore W2114893507C179799912 @default.
• W2114893507 hasConceptScore W2114893507C185592680 @default.
• W2114893507 hasConceptScore W2114893507C188027245 @default.
• W2114893507 hasConceptScore W2114893507C197685441 @default.
• W2114893507 hasConceptScore W2114893507C198008173 @default.
• W2114893507 hasConceptScore W2114893507C199343813 @default.
• W2114893507 hasConceptScore W2114893507C199360897 @default.
• W2114893507 hasConceptScore W2114893507C27508121 @default.
• W2114893507 hasConceptScore W2114893507C2776493592 @default.

• next