Matches in SemOpenAlex for { <https://semopenalex.org/work/W3124817010> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3124817010 endingPage "538" @default.
- W3124817010 startingPage "524" @default.
- W3124817010 abstract "Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the μ-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the μ-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard μ-calculus including, e.g., flat fragments of the graded μ-calculus and the alternating-time μ-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches ExpTime upper bounds inherited from the coalgebraic μ-calculus but avoids using automata." @default.
- W3124817010 created "2021-02-01" @default.
- W3124817010 creator A5068240928 @default.
- W3124817010 creator A5073765060 @default.
- W3124817010 date "2010-01-01" @default.
- W3124817010 modified "2023-10-18" @default.
- W3124817010 title "Flat Coalgebraic Fixed Point Logics" @default.
- W3124817010 cites W1501952738 @default.
- W3124817010 cites W1567084588 @default.
- W3124817010 cites W1575920076 @default.
- W3124817010 cites W1976268573 @default.
- W3124817010 cites W1988903622 @default.
- W3124817010 cites W2015640848 @default.
- W3124817010 cites W2031830176 @default.
- W3124817010 cites W2048355938 @default.
- W3124817010 cites W2048905609 @default.
- W3124817010 cites W2059396299 @default.
- W3124817010 cites W2060917500 @default.
- W3124817010 cites W2067441543 @default.
- W3124817010 cites W2086035610 @default.
- W3124817010 cites W2109058602 @default.
- W3124817010 cites W2112476716 @default.
- W3124817010 cites W2112535338 @default.
- W3124817010 cites W2142018979 @default.
- W3124817010 cites W2153364044 @default.
- W3124817010 cites W2160254449 @default.
- W3124817010 cites W2176114185 @default.
- W3124817010 cites W2244349542 @default.
- W3124817010 cites W2250074872 @default.
- W3124817010 cites W2263967233 @default.
- W3124817010 doi "https://doi.org/10.1007/978-3-642-15375-4_36" @default.
- W3124817010 hasPublicationYear "2010" @default.
- W3124817010 type Work @default.
- W3124817010 sameAs 3124817010 @default.
- W3124817010 citedByCount "9" @default.
- W3124817010 countsByYear W31248170102015 @default.
- W3124817010 countsByYear W31248170102016 @default.
- W3124817010 countsByYear W31248170102018 @default.
- W3124817010 countsByYear W31248170102022 @default.
- W3124817010 crossrefType "book-chapter" @default.
- W3124817010 hasAuthorship W3124817010A5068240928 @default.
- W3124817010 hasAuthorship W3124817010A5073765060 @default.
- W3124817010 hasBestOaLocation W31248170102 @default.
- W3124817010 hasConcept C118615104 @default.
- W3124817010 hasConcept C134306372 @default.
- W3124817010 hasConcept C135315306 @default.
- W3124817010 hasConcept C136119220 @default.
- W3124817010 hasConcept C193702766 @default.
- W3124817010 hasConcept C199343813 @default.
- W3124817010 hasConcept C199360897 @default.
- W3124817010 hasConcept C202444582 @default.
- W3124817010 hasConcept C2777686260 @default.
- W3124817010 hasConcept C2778249326 @default.
- W3124817010 hasConcept C33923547 @default.
- W3124817010 hasConcept C41008148 @default.
- W3124817010 hasConcept C61445026 @default.
- W3124817010 hasConcept C71924100 @default.
- W3124817010 hasConceptScore W3124817010C118615104 @default.
- W3124817010 hasConceptScore W3124817010C134306372 @default.
- W3124817010 hasConceptScore W3124817010C135315306 @default.
- W3124817010 hasConceptScore W3124817010C136119220 @default.
- W3124817010 hasConceptScore W3124817010C193702766 @default.
- W3124817010 hasConceptScore W3124817010C199343813 @default.
- W3124817010 hasConceptScore W3124817010C199360897 @default.
- W3124817010 hasConceptScore W3124817010C202444582 @default.
- W3124817010 hasConceptScore W3124817010C2777686260 @default.
- W3124817010 hasConceptScore W3124817010C2778249326 @default.
- W3124817010 hasConceptScore W3124817010C33923547 @default.
- W3124817010 hasConceptScore W3124817010C41008148 @default.
- W3124817010 hasConceptScore W3124817010C61445026 @default.
- W3124817010 hasConceptScore W3124817010C71924100 @default.
- W3124817010 hasLocation W31248170101 @default.
- W3124817010 hasLocation W31248170102 @default.
- W3124817010 hasOpenAccess W3124817010 @default.
- W3124817010 hasPrimaryLocation W31248170101 @default.
- W3124817010 hasRelatedWork W1581191281 @default.
- W3124817010 hasRelatedWork W1602605316 @default.
- W3124817010 hasRelatedWork W1662292621 @default.
- W3124817010 hasRelatedWork W1868260891 @default.
- W3124817010 hasRelatedWork W2094903923 @default.
- W3124817010 hasRelatedWork W2126431612 @default.
- W3124817010 hasRelatedWork W2156829867 @default.
- W3124817010 hasRelatedWork W3124817010 @default.
- W3124817010 hasRelatedWork W45901170 @default.
- W3124817010 hasRelatedWork W59382029 @default.
- W3124817010 isParatext "false" @default.
- W3124817010 isRetracted "false" @default.
- W3124817010 magId "3124817010" @default.
- W3124817010 workType "book-chapter" @default.