Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295931013> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2295931013 endingPage "189" @default.
- W2295931013 startingPage "178" @default.
- W2295931013 abstract "The $$mu $$ -calculus is an expressive propositional modal logic augmented with least and greatest fixed-points, and encompasses many temporal, program, dynamic and description logics. The model checking problem for the $$mu $$ -calculus is known to be in NP $$cap $$ Co-NP. In this paper, we study the model checking problem for the $$mu $$ -calculus extended with graded modalities. These constructors allow to express numerical constraints on the occurrence of accessible nodes (worlds) satisfying a certain formula. It is known that the model checking problem for the graded $$mu $$ -calculus with finite models is in EXPTIME. In the current work, we introduce a linear-time model checking algorithm for the graded $$mu $$ -calculus when models are finite unranked trees." @default.
- W2295931013 created "2016-06-24" @default.
- W2295931013 creator A5045857927 @default.
- W2295931013 creator A5086701100 @default.
- W2295931013 creator A5087338274 @default.
- W2295931013 date "2015-01-01" @default.
- W2295931013 modified "2023-10-16" @default.
- W2295931013 title "On the Model Checking of the Graded $$mu $$ -calculus on Trees" @default.
- W2295931013 cites W1501952738 @default.
- W2295931013 cites W1523929643 @default.
- W2295931013 cites W1791618115 @default.
- W2295931013 cites W1974206804 @default.
- W2295931013 cites W1998912565 @default.
- W2295931013 cites W2059215363 @default.
- W2295931013 cites W2061438988 @default.
- W2295931013 cites W2071797744 @default.
- W2295931013 cites W2114893507 @default.
- W2295931013 cites W2131842699 @default.
- W2295931013 cites W2170477095 @default.
- W2295931013 cites W2950897092 @default.
- W2295931013 cites W2951982224 @default.
- W2295931013 cites W3101497863 @default.
- W2295931013 cites W34305035 @default.
- W2295931013 doi "https://doi.org/10.1007/978-3-319-27060-9_14" @default.
- W2295931013 hasPublicationYear "2015" @default.
- W2295931013 type Work @default.
- W2295931013 sameAs 2295931013 @default.
- W2295931013 citedByCount "3" @default.
- W2295931013 countsByYear W22959310132016 @default.
- W2295931013 countsByYear W22959310132019 @default.
- W2295931013 countsByYear W22959310132023 @default.
- W2295931013 crossrefType "book-chapter" @default.
- W2295931013 hasAuthorship W2295931013A5045857927 @default.
- W2295931013 hasAuthorship W2295931013A5086701100 @default.
- W2295931013 hasAuthorship W2295931013A5087338274 @default.
- W2295931013 hasConcept C110251889 @default.
- W2295931013 hasConcept C11413529 @default.
- W2295931013 hasConcept C118615104 @default.
- W2295931013 hasConcept C179799912 @default.
- W2295931013 hasConcept C185592680 @default.
- W2295931013 hasConcept C188027245 @default.
- W2295931013 hasConcept C197685441 @default.
- W2295931013 hasConcept C199343813 @default.
- W2295931013 hasConcept C27508121 @default.
- W2295931013 hasConcept C2777686260 @default.
- W2295931013 hasConcept C33923547 @default.
- W2295931013 hasConcept C41008148 @default.
- W2295931013 hasConcept C56049555 @default.
- W2295931013 hasConcept C69562738 @default.
- W2295931013 hasConcept C71139939 @default.
- W2295931013 hasConcept C71924100 @default.
- W2295931013 hasConceptScore W2295931013C110251889 @default.
- W2295931013 hasConceptScore W2295931013C11413529 @default.
- W2295931013 hasConceptScore W2295931013C118615104 @default.
- W2295931013 hasConceptScore W2295931013C179799912 @default.
- W2295931013 hasConceptScore W2295931013C185592680 @default.
- W2295931013 hasConceptScore W2295931013C188027245 @default.
- W2295931013 hasConceptScore W2295931013C197685441 @default.
- W2295931013 hasConceptScore W2295931013C199343813 @default.
- W2295931013 hasConceptScore W2295931013C27508121 @default.
- W2295931013 hasConceptScore W2295931013C2777686260 @default.
- W2295931013 hasConceptScore W2295931013C33923547 @default.
- W2295931013 hasConceptScore W2295931013C41008148 @default.
- W2295931013 hasConceptScore W2295931013C56049555 @default.
- W2295931013 hasConceptScore W2295931013C69562738 @default.
- W2295931013 hasConceptScore W2295931013C71139939 @default.
- W2295931013 hasConceptScore W2295931013C71924100 @default.
- W2295931013 hasLocation W22959310131 @default.
- W2295931013 hasOpenAccess W2295931013 @default.
- W2295931013 hasPrimaryLocation W22959310131 @default.
- W2295931013 hasRelatedWork W2087882226 @default.
- W2295931013 hasRelatedWork W2295931013 @default.
- W2295931013 hasRelatedWork W2540322980 @default.
- W2295931013 hasRelatedWork W2962420748 @default.
- W2295931013 hasRelatedWork W4226055581 @default.
- W2295931013 hasRelatedWork W4256443165 @default.
- W2295931013 hasRelatedWork W4294810627 @default.
- W2295931013 hasRelatedWork W4384522507 @default.
- W2295931013 hasRelatedWork W87163171 @default.
- W2295931013 hasRelatedWork W46061460 @default.
- W2295931013 isParatext "false" @default.
- W2295931013 isRetracted "false" @default.
- W2295931013 magId "2295931013" @default.
- W2295931013 workType "book-chapter" @default.