Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964181271> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2964181271 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.
- W2964181271 created "2019-07-30" @default.
- W2964181271 creator A5042482750 @default.
- W2964181271 creator A5068240928 @default.
- W2964181271 date "2019-03-27" @default.
- W2964181271 modified "2023-09-26" @default.
- W2964181271 title "DISJUNCTIVE BASES : NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS" @default.
- W2964181271 hasPublicationYear "2019" @default.
- W2964181271 type Work @default.
- W2964181271 sameAs 2964181271 @default.
- W2964181271 citedByCount "1" @default.
- W2964181271 countsByYear W29641812712021 @default.
- W2964181271 crossrefType "journal-article" @default.
- W2964181271 hasAuthorship W2964181271A5042482750 @default.
- W2964181271 hasAuthorship W2964181271A5068240928 @default.
- W2964181271 hasConcept C114092440 @default.
- W2964181271 hasConcept C118615104 @default.
- W2964181271 hasConcept C12426560 @default.
- W2964181271 hasConcept C134306372 @default.
- W2964181271 hasConcept C136119220 @default.
- W2964181271 hasConcept C136726353 @default.
- W2964181271 hasConcept C173125200 @default.
- W2964181271 hasConcept C185592680 @default.
- W2964181271 hasConcept C188027245 @default.
- W2964181271 hasConcept C202444582 @default.
- W2964181271 hasConcept C2524010 @default.
- W2964181271 hasConcept C27508121 @default.
- W2964181271 hasConcept C2778249326 @default.
- W2964181271 hasConcept C33923547 @default.
- W2964181271 hasConcept C61445026 @default.
- W2964181271 hasConcept C71139939 @default.
- W2964181271 hasConcept C78344899 @default.
- W2964181271 hasConceptScore W2964181271C114092440 @default.
- W2964181271 hasConceptScore W2964181271C118615104 @default.
- W2964181271 hasConceptScore W2964181271C12426560 @default.
- W2964181271 hasConceptScore W2964181271C134306372 @default.
- W2964181271 hasConceptScore W2964181271C136119220 @default.
- W2964181271 hasConceptScore W2964181271C136726353 @default.
- W2964181271 hasConceptScore W2964181271C173125200 @default.
- W2964181271 hasConceptScore W2964181271C185592680 @default.
- W2964181271 hasConceptScore W2964181271C188027245 @default.
- W2964181271 hasConceptScore W2964181271C202444582 @default.
- W2964181271 hasConceptScore W2964181271C2524010 @default.
- W2964181271 hasConceptScore W2964181271C27508121 @default.
- W2964181271 hasConceptScore W2964181271C2778249326 @default.
- W2964181271 hasConceptScore W2964181271C33923547 @default.
- W2964181271 hasConceptScore W2964181271C61445026 @default.
- W2964181271 hasConceptScore W2964181271C71139939 @default.
- W2964181271 hasConceptScore W2964181271C78344899 @default.
- W2964181271 hasIssue "1" @default.
- W2964181271 hasLocation W29641812711 @default.
- W2964181271 hasOpenAccess W2964181271 @default.
- W2964181271 hasPrimaryLocation W29641812711 @default.
- W2964181271 hasRelatedWork W1570796240 @default.
- W2964181271 hasRelatedWork W1571731646 @default.
- W2964181271 hasRelatedWork W2004236838 @default.
- W2964181271 hasRelatedWork W2052267452 @default.
- W2964181271 hasRelatedWork W2077519384 @default.
- W2964181271 hasRelatedWork W2181621864 @default.
- W2964181271 hasRelatedWork W2250074872 @default.
- W2964181271 hasRelatedWork W2275488006 @default.
- W2964181271 hasRelatedWork W2471253858 @default.
- W2964181271 hasRelatedWork W2604254479 @default.
- W2964181271 hasRelatedWork W2766996479 @default.
- W2964181271 hasRelatedWork W2895833025 @default.
- W2964181271 hasRelatedWork W2908449277 @default.
- W2964181271 hasRelatedWork W2911688492 @default.
- W2964181271 hasRelatedWork W2997148829 @default.
- W2964181271 hasRelatedWork W3009488219 @default.
- W2964181271 hasRelatedWork W3034254960 @default.
- W2964181271 hasRelatedWork W3081939111 @default.
- W2964181271 hasRelatedWork W3208943715 @default.
- W2964181271 hasRelatedWork W2186010399 @default.
- W2964181271 hasVolume "15" @default.
- W2964181271 isParatext "false" @default.
- W2964181271 isRetracted "false" @default.
- W2964181271 magId "2964181271" @default.
- W2964181271 workType "article" @default.