Matches in SemOpenAlex for { <https://semopenalex.org/work/W2766996479> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2766996479 abstract "We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi. Believing the concept has a much wider significance, here we investigate it more thoroughly in its own right. We show that the presence of a disjunctive basis at the level entails a number of good properties for a coalgebraic mu-calculus, in particular, a simulation theorem showing that every alternating automaton can be transformed into an equivalent nondeterministic one. Based on this, we prove a Lyndon theorem for the full fixpoint logic, its fixpoint-free fragment and its one-step fragment, a Uniform Interpolation result, for both the full mu-calculus and its fixpoint-free fragment, and a Janin-Walukiewicz-style characterization theorem for the mu-calculus under slightly stronger assumptions. We also raise the questions, when a disjunctive basis exists, and how disjunctive bases are related to Moss' coalgebraic modalities. Nabla formulas provide disjunctive bases for many coalgebraic modal logics, but there are cases where disjunctive bases give useful normal forms even when nabla formulas fail to do so, our prime example being graded modal logic. We also show that disjunctive bases are preserved by forming sums, products and compositions of coalgebraic modal logics, providing tools for modular construction of modal logics admitting disjunctive bases. Finally, we consider the problem of giving a category-theoretic formulation of disjunctive bases, and provide a partial solution." @default.
- W2766996479 created "2017-11-10" @default.
- W2766996479 creator A5042482750 @default.
- W2766996479 creator A5068240928 @default.
- W2766996479 date "2017-10-29" @default.
- W2766996479 modified "2023-09-28" @default.
- W2766996479 title "Disjunctive bases: normal forms and model theory for modal logics" @default.
- W2766996479 cites W1516264096 @default.
- W2766996479 cites W1532044601 @default.
- W2766996479 cites W1539385324 @default.
- W2766996479 cites W193053345 @default.
- W2766996479 cites W1982431152 @default.
- W2766996479 cites W1985915951 @default.
- W2766996479 cites W2015640848 @default.
- W2766996479 cites W2048905609 @default.
- W2766996479 cites W2050755555 @default.
- W2766996479 cites W2077519384 @default.
- W2766996479 cites W2108138932 @default.
- W2766996479 cites W2111402410 @default.
- W2766996479 cites W2115452397 @default.
- W2766996479 cites W2120360673 @default.
- W2766996479 cites W2124810483 @default.
- W2766996479 cites W2133256831 @default.
- W2766996479 cites W2153364044 @default.
- W2766996479 cites W2159650054 @default.
- W2766996479 cites W2244349542 @default.
- W2766996479 cites W2250074872 @default.
- W2766996479 cites W2554804133 @default.
- W2766996479 cites W2724355227 @default.
- W2766996479 cites W2790839061 @default.
- W2766996479 cites W2911841147 @default.
- W2766996479 cites W3189472968 @default.
- W2766996479 hasPublicationYear "2017" @default.
- W2766996479 type Work @default.
- W2766996479 sameAs 2766996479 @default.
- W2766996479 citedByCount "0" @default.
- W2766996479 crossrefType "posted-content" @default.
- W2766996479 hasAuthorship W2766996479A5042482750 @default.
- W2766996479 hasAuthorship W2766996479A5068240928 @default.
- W2766996479 hasConcept C114092440 @default.
- W2766996479 hasConcept C118615104 @default.
- W2766996479 hasConcept C12426560 @default.
- W2766996479 hasConcept C134306372 @default.
- W2766996479 hasConcept C136119220 @default.
- W2766996479 hasConcept C136726353 @default.
- W2766996479 hasConcept C173125200 @default.
- W2766996479 hasConcept C185592680 @default.
- W2766996479 hasConcept C188027245 @default.
- W2766996479 hasConcept C202444582 @default.
- W2766996479 hasConcept C2524010 @default.
- W2766996479 hasConcept C27508121 @default.
- W2766996479 hasConcept C2778249326 @default.
- W2766996479 hasConcept C33923547 @default.
- W2766996479 hasConcept C61445026 @default.
- W2766996479 hasConcept C71139939 @default.
- W2766996479 hasConcept C78344899 @default.
- W2766996479 hasConceptScore W2766996479C114092440 @default.
- W2766996479 hasConceptScore W2766996479C118615104 @default.
- W2766996479 hasConceptScore W2766996479C12426560 @default.
- W2766996479 hasConceptScore W2766996479C134306372 @default.
- W2766996479 hasConceptScore W2766996479C136119220 @default.
- W2766996479 hasConceptScore W2766996479C136726353 @default.
- W2766996479 hasConceptScore W2766996479C173125200 @default.
- W2766996479 hasConceptScore W2766996479C185592680 @default.
- W2766996479 hasConceptScore W2766996479C188027245 @default.
- W2766996479 hasConceptScore W2766996479C202444582 @default.
- W2766996479 hasConceptScore W2766996479C2524010 @default.
- W2766996479 hasConceptScore W2766996479C27508121 @default.
- W2766996479 hasConceptScore W2766996479C2778249326 @default.
- W2766996479 hasConceptScore W2766996479C33923547 @default.
- W2766996479 hasConceptScore W2766996479C61445026 @default.
- W2766996479 hasConceptScore W2766996479C71139939 @default.
- W2766996479 hasConceptScore W2766996479C78344899 @default.
- W2766996479 hasOpenAccess W2766996479 @default.
- W2766996479 hasRelatedWork W1570796240 @default.
- W2766996479 hasRelatedWork W1571731646 @default.
- W2766996479 hasRelatedWork W187636597 @default.
- W2766996479 hasRelatedWork W2052267452 @default.
- W2766996479 hasRelatedWork W2077519384 @default.
- W2766996479 hasRelatedWork W2181621864 @default.
- W2766996479 hasRelatedWork W2250074872 @default.
- W2766996479 hasRelatedWork W2275488006 @default.
- W2766996479 hasRelatedWork W2319590434 @default.
- W2766996479 hasRelatedWork W2471253858 @default.
- W2766996479 hasRelatedWork W2604254479 @default.
- W2766996479 hasRelatedWork W2908449277 @default.
- W2766996479 hasRelatedWork W2911688492 @default.
- W2766996479 hasRelatedWork W2964181271 @default.
- W2766996479 hasRelatedWork W2997148829 @default.
- W2766996479 hasRelatedWork W3009488219 @default.
- W2766996479 hasRelatedWork W3034254960 @default.
- W2766996479 hasRelatedWork W3081939111 @default.
- W2766996479 hasRelatedWork W3208943715 @default.
- W2766996479 hasRelatedWork W2186010399 @default.
- W2766996479 isParatext "false" @default.
- W2766996479 isRetracted "false" @default.
- W2766996479 magId "2766996479" @default.
- W2766996479 workType "article" @default.