FRINK Linked Data Fragments server

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

• W3125989314 abstract "The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic. In this paper, we introduce the coalgebraic mu-calculus, an extension of the general (coalgebraic) framework with fixpoint operators. Our main results are completeness of the associated tableau calculus and EXPTIME decidability for guarded formulas. Technically, this is achieved by reducing satisfiability to the existence of non-wellfounded tableaux, which is in turn equivalent to the existence of winning strategies in parity games. Our results are parametric in the underlying class of models and yield, as concrete applications, previously unknown complexity bounds for the probabilistic mu-calculus and for an extension of coalition logic with fixpoints." @default.
• W3125989314 created "2021-02-01" @default.
• W3125989314 creator A5050718588 @default.
• W3125989314 creator A5058618165 @default.
• W3125989314 creator A5077171828 @default.
• W3125989314 date "2011-08-11" @default.
• W3125989314 modified "2023-10-16" @default.
• W3125989314 title "EXPTIME Tableaux for the Coalgebraic mu-Calculus" @default.
• W3125989314 cites W143189931 @default.
• W3125989314 cites W1499184985 @default.
• W3125989314 cites W1501952738 @default.
• W3125989314 cites W1505081061 @default.
• W3125989314 cites W1573078772 @default.
• W3125989314 cites W1597993550 @default.
• W3125989314 cites W1988808695 @default.
• W3125989314 cites W2000129083 @default.
• W3125989314 cites W2003770962 @default.
• W3125989314 cites W2015640848 @default.
• W3125989314 cites W2031592188 @default.
• W3125989314 cites W2086035610 @default.
• W3125989314 cites W2107807291 @default.
• W3125989314 cites W2109058602 @default.
• W3125989314 cites W2112476716 @default.
• W3125989314 cites W2115452397 @default.
• W3125989314 cites W2133256831 @default.
• W3125989314 cites W2153364044 @default.
• W3125989314 cites W2163151383 @default.
• W3125989314 cites W2165726630 @default.
• W3125989314 cites W2244349542 @default.
• W3125989314 cites W2250074872 @default.
• W3125989314 cites W4242309855 @default.
• W3125989314 doi "https://doi.org/10.2168/lmcs-7(3:3)2011" @default.
• W3125989314 hasPublicationYear "2011" @default.
• W3125989314 type Work @default.
• W3125989314 sameAs 3125989314 @default.
• W3125989314 citedByCount "12" @default.
• W3125989314 countsByYear W31259893142013 @default.
• W3125989314 countsByYear W31259893142016 @default.
• W3125989314 countsByYear W31259893142018 @default.
• W3125989314 countsByYear W31259893142019 @default.
• W3125989314 countsByYear W31259893142020 @default.
• W3125989314 countsByYear W31259893142021 @default.
• W3125989314 countsByYear W31259893142022 @default.
• W3125989314 countsByYear W31259893142023 @default.
• W3125989314 crossrefType "journal-article" @default.
• W3125989314 hasAuthorship W3125989314A5050718588 @default.
• W3125989314 hasAuthorship W3125989314A5058618165 @default.
• W3125989314 hasAuthorship W3125989314A5077171828 @default.
• W3125989314 hasBestOaLocation W31259893141 @default.
• W3125989314 hasConcept C105795698 @default.
• W3125989314 hasConcept C11191006 @default.
• W3125989314 hasConcept C114092440 @default.
• W3125989314 hasConcept C11413529 @default.
• W3125989314 hasConcept C118615104 @default.
• W3125989314 hasConcept C134306372 @default.
• W3125989314 hasConcept C135315306 @default.
• W3125989314 hasConcept C153269930 @default.
• W3125989314 hasConcept C154945302 @default.
• W3125989314 hasConcept C168773769 @default.
• W3125989314 hasConcept C17231256 @default.
• W3125989314 hasConcept C173125200 @default.
• W3125989314 hasConcept C179799912 @default.
• W3125989314 hasConcept C185592680 @default.
• W3125989314 hasConcept C188027245 @default.
• W3125989314 hasConcept C197685441 @default.
• W3125989314 hasConcept C199343813 @default.
• W3125989314 hasConcept C199360897 @default.
• W3125989314 hasConcept C27508121 @default.
• W3125989314 hasConcept C2777212361 @default.
• W3125989314 hasConcept C2777686260 @default.
• W3125989314 hasConcept C2778029271 @default.
• W3125989314 hasConcept C33923547 @default.
• W3125989314 hasConcept C41008148 @default.
• W3125989314 hasConcept C49937458 @default.
• W3125989314 hasConcept C56049555 @default.
• W3125989314 hasConcept C61445026 @default.
• W3125989314 hasConcept C71139939 @default.
• W3125989314 hasConcept C71924100 @default.
• W3125989314 hasConceptScore W3125989314C105795698 @default.
• W3125989314 hasConceptScore W3125989314C11191006 @default.
• W3125989314 hasConceptScore W3125989314C114092440 @default.
• W3125989314 hasConceptScore W3125989314C11413529 @default.
• W3125989314 hasConceptScore W3125989314C118615104 @default.
• W3125989314 hasConceptScore W3125989314C134306372 @default.
• W3125989314 hasConceptScore W3125989314C135315306 @default.
• W3125989314 hasConceptScore W3125989314C153269930 @default.
• W3125989314 hasConceptScore W3125989314C154945302 @default.
• W3125989314 hasConceptScore W3125989314C168773769 @default.
• W3125989314 hasConceptScore W3125989314C17231256 @default.
• W3125989314 hasConceptScore W3125989314C173125200 @default.
• W3125989314 hasConceptScore W3125989314C179799912 @default.
• W3125989314 hasConceptScore W3125989314C185592680 @default.
• W3125989314 hasConceptScore W3125989314C188027245 @default.
• W3125989314 hasConceptScore W3125989314C197685441 @default.
• W3125989314 hasConceptScore W3125989314C199343813 @default.
• W3125989314 hasConceptScore W3125989314C199360897 @default.
• W3125989314 hasConceptScore W3125989314C27508121 @default.
• W3125989314 hasConceptScore W3125989314C2777212361 @default.
• W3125989314 hasConceptScore W3125989314C2777686260 @default.
• W3125989314 hasConceptScore W3125989314C2778029271 @default.

• next