FRINK Linked Data Fragments server

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

• W3039203491 abstract "Satisfiability checking for monotone modal logic is known to be (only) NP-complete. We show that this remains true when the logic is extended with alternation-free fixpoint operators as well as the universal modality; the resulting logic – the alternation-free monotone (mu )-calculus with the universal modality – contains both concurrent propositional dynamic logic (CPDL) and the alternation-free fragment of game logic as fragments. We obtain our result from a characterization of satisfiability by means of Buchi games with polynomially many Eloise nodes." @default.
• W3039203491 created "2020-07-10" @default.
• W3039203491 creator A5068252968 @default.
• W3039203491 creator A5073765060 @default.
• W3039203491 date "2020-01-01" @default.
• W3039203491 modified "2023-10-16" @default.
• W3039203491 title "NP Reasoning in the Monotone $$mu $$-Calculus" @default.
• W3039203491 cites W1507873625 @default.
• W3039203491 cites W1597481850 @default.
• W3039203491 cites W2003770962 @default.
• W3039203491 cites W2009762006 @default.
• W3039203491 cites W2049154590 @default.
• W3039203491 cites W2050073538 @default.
• W3039203491 cites W2059396299 @default.
• W3039203491 cites W2069709605 @default.
• W3039203491 cites W2073491323 @default.
• W3039203491 cites W2099222814 @default.
• W3039203491 cites W2159650054 @default.
• W3039203491 cites W2164389533 @default.
• W3039203491 cites W2467982476 @default.
• W3039203491 cites W2888608561 @default.
• W3039203491 cites W2963476787 @default.
• W3039203491 cites W2966476010 @default.
• W3039203491 cites W3125989314 @default.
• W3039203491 cites W4242309855 @default.
• W3039203491 cites W4245764324 @default.
• W3039203491 doi "https://doi.org/10.1007/978-3-030-51074-9_28" @default.
• W3039203491 hasPublicationYear "2020" @default.
• W3039203491 type Work @default.
• W3039203491 sameAs 3039203491 @default.
• W3039203491 citedByCount "0" @default.
• W3039203491 crossrefType "book-chapter" @default.
• W3039203491 hasAuthorship W3039203491A5068252968 @default.
• W3039203491 hasAuthorship W3039203491A5073765060 @default.
• W3039203491 hasBestOaLocation W30392034911 @default.
• W3039203491 hasConcept C102993220 @default.
• W3039203491 hasConcept C110039528 @default.
• W3039203491 hasConcept C11413529 @default.
• W3039203491 hasConcept C118615104 @default.
• W3039203491 hasConcept C121332964 @default.
• W3039203491 hasConcept C138885662 @default.
• W3039203491 hasConcept C14523651 @default.
• W3039203491 hasConcept C165801399 @default.
• W3039203491 hasConcept C168773769 @default.
• W3039203491 hasConcept C172385210 @default.
• W3039203491 hasConcept C173125200 @default.
• W3039203491 hasConcept C185592680 @default.
• W3039203491 hasConcept C188027245 @default.
• W3039203491 hasConcept C199343813 @default.
• W3039203491 hasConcept C199360897 @default.
• W3039203491 hasConcept C203659156 @default.
• W3039203491 hasConcept C2524010 @default.
• W3039203491 hasConcept C26826806 @default.
• W3039203491 hasConcept C27508121 @default.
• W3039203491 hasConcept C2776235265 @default.
• W3039203491 hasConcept C2777686260 @default.
• W3039203491 hasConcept C2777796570 @default.
• W3039203491 hasConcept C2834757 @default.
• W3039203491 hasConcept C33203268 @default.
• W3039203491 hasConcept C33923547 @default.
• W3039203491 hasConcept C41008148 @default.
• W3039203491 hasConcept C41895202 @default.
• W3039203491 hasConcept C62520636 @default.
• W3039203491 hasConcept C6943359 @default.
• W3039203491 hasConcept C69562738 @default.
• W3039203491 hasConcept C71139939 @default.
• W3039203491 hasConcept C71924100 @default.
• W3039203491 hasConceptScore W3039203491C102993220 @default.
• W3039203491 hasConceptScore W3039203491C110039528 @default.
• W3039203491 hasConceptScore W3039203491C11413529 @default.
• W3039203491 hasConceptScore W3039203491C118615104 @default.
• W3039203491 hasConceptScore W3039203491C121332964 @default.
• W3039203491 hasConceptScore W3039203491C138885662 @default.
• W3039203491 hasConceptScore W3039203491C14523651 @default.
• W3039203491 hasConceptScore W3039203491C165801399 @default.
• W3039203491 hasConceptScore W3039203491C168773769 @default.
• W3039203491 hasConceptScore W3039203491C172385210 @default.
• W3039203491 hasConceptScore W3039203491C173125200 @default.
• W3039203491 hasConceptScore W3039203491C185592680 @default.
• W3039203491 hasConceptScore W3039203491C188027245 @default.
• W3039203491 hasConceptScore W3039203491C199343813 @default.
• W3039203491 hasConceptScore W3039203491C199360897 @default.
• W3039203491 hasConceptScore W3039203491C203659156 @default.
• W3039203491 hasConceptScore W3039203491C2524010 @default.
• W3039203491 hasConceptScore W3039203491C26826806 @default.
• W3039203491 hasConceptScore W3039203491C27508121 @default.
• W3039203491 hasConceptScore W3039203491C2776235265 @default.
• W3039203491 hasConceptScore W3039203491C2777686260 @default.
• W3039203491 hasConceptScore W3039203491C2777796570 @default.
• W3039203491 hasConceptScore W3039203491C2834757 @default.
• W3039203491 hasConceptScore W3039203491C33203268 @default.
• W3039203491 hasConceptScore W3039203491C33923547 @default.
• W3039203491 hasConceptScore W3039203491C41008148 @default.
• W3039203491 hasConceptScore W3039203491C41895202 @default.
• W3039203491 hasConceptScore W3039203491C62520636 @default.
• W3039203491 hasConceptScore W3039203491C6943359 @default.
• W3039203491 hasConceptScore W3039203491C69562738 @default.
• W3039203491 hasConceptScore W3039203491C71139939 @default.
• W3039203491 hasConceptScore W3039203491C71924100 @default.
• W3039203491 hasLocation W30392034911 @default.

• next