FRINK Linked Data Fragments server

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

• W3197192617 endingPage "388" @default.
• W3197192617 startingPage "371" @default.
• W3197192617 abstract "We introduce a cut-free sequent calculus for the alternation-free fragment of the modal (mu )-calculus. This system allows both for infinite and for finite, circular proofs and uses a simple focus mechanism to control the unravelling of fixpoints along infinite branches. We show that the proof system is sound and complete for the set of guarded valid formulas of the alternation-free (mu )-calculus." @default.
• W3197192617 created "2021-09-13" @default.
• W3197192617 creator A5025715442 @default.
• W3197192617 creator A5068240928 @default.
• W3197192617 date "2021-01-01" @default.
• W3197192617 modified "2023-10-05" @default.
• W3197192617 title "A Focus System for the Alternation-Free $$mu $$-Calculus" @default.
• W3197192617 cites W1482768571 @default.
• W3197192617 cites W1495080122 @default.
• W3197192617 cites W1507873625 @default.
• W3197192617 cites W1514347419 @default.
• W3197192617 cites W1539385324 @default.
• W3197192617 cites W1568149704 @default.
• W3197192617 cites W2007304763 @default.
• W3197192617 cites W2015640848 @default.
• W3197192617 cites W2031592188 @default.
• W3197192617 cites W2070324762 @default.
• W3197192617 cites W2081909835 @default.
• W3197192617 cites W2087756506 @default.
• W3197192617 cites W2112476716 @default.
• W3197192617 cites W2113800199 @default.
• W3197192617 cites W2467982476 @default.
• W3197192617 cites W2502103274 @default.
• W3197192617 cites W2962706960 @default.
• W3197192617 cites W2999779760 @default.
• W3197192617 cites W3197192617 @default.
• W3197192617 cites W3210476636 @default.
• W3197192617 cites W4232563889 @default.
• W3197192617 doi "https://doi.org/10.1007/978-3-030-86059-2_22" @default.
• W3197192617 hasPublicationYear "2021" @default.
• W3197192617 type Work @default.
• W3197192617 sameAs 3197192617 @default.
• W3197192617 citedByCount "4" @default.
• W3197192617 countsByYear W31971926172021 @default.
• W3197192617 countsByYear W31971926172022 @default.
• W3197192617 countsByYear W31971926172023 @default.
• W3197192617 crossrefType "book-chapter" @default.
• W3197192617 hasAuthorship W3197192617A5025715442 @default.
• W3197192617 hasAuthorship W3197192617A5068240928 @default.
• W3197192617 hasConcept C108710211 @default.
• W3197192617 hasConcept C111404639 @default.
• W3197192617 hasConcept C111472728 @default.
• W3197192617 hasConcept C118615104 @default.
• W3197192617 hasConcept C120665830 @default.
• W3197192617 hasConcept C121332964 @default.
• W3197192617 hasConcept C138885662 @default.
• W3197192617 hasConcept C185592680 @default.
• W3197192617 hasConcept C188027245 @default.
• W3197192617 hasConcept C192209626 @default.
• W3197192617 hasConcept C199343813 @default.
• W3197192617 hasConcept C2524010 @default.
• W3197192617 hasConcept C26826806 @default.
• W3197192617 hasConcept C2777686260 @default.
• W3197192617 hasConcept C2780586882 @default.
• W3197192617 hasConcept C33923547 @default.
• W3197192617 hasConcept C41008148 @default.
• W3197192617 hasConcept C41895202 @default.
• W3197192617 hasConcept C62073222 @default.
• W3197192617 hasConcept C65880906 @default.
• W3197192617 hasConcept C71139939 @default.
• W3197192617 hasConcept C71924100 @default.
• W3197192617 hasConceptScore W3197192617C108710211 @default.
• W3197192617 hasConceptScore W3197192617C111404639 @default.
• W3197192617 hasConceptScore W3197192617C111472728 @default.
• W3197192617 hasConceptScore W3197192617C118615104 @default.
• W3197192617 hasConceptScore W3197192617C120665830 @default.
• W3197192617 hasConceptScore W3197192617C121332964 @default.
• W3197192617 hasConceptScore W3197192617C138885662 @default.
• W3197192617 hasConceptScore W3197192617C185592680 @default.
• W3197192617 hasConceptScore W3197192617C188027245 @default.
• W3197192617 hasConceptScore W3197192617C192209626 @default.
• W3197192617 hasConceptScore W3197192617C199343813 @default.
• W3197192617 hasConceptScore W3197192617C2524010 @default.
• W3197192617 hasConceptScore W3197192617C26826806 @default.
• W3197192617 hasConceptScore W3197192617C2777686260 @default.
• W3197192617 hasConceptScore W3197192617C2780586882 @default.
• W3197192617 hasConceptScore W3197192617C33923547 @default.
• W3197192617 hasConceptScore W3197192617C41008148 @default.
• W3197192617 hasConceptScore W3197192617C41895202 @default.
• W3197192617 hasConceptScore W3197192617C62073222 @default.
• W3197192617 hasConceptScore W3197192617C65880906 @default.
• W3197192617 hasConceptScore W3197192617C71139939 @default.
• W3197192617 hasConceptScore W3197192617C71924100 @default.
• W3197192617 hasLocation W31971926171 @default.
• W3197192617 hasOpenAccess W3197192617 @default.
• W3197192617 hasPrimaryLocation W31971926171 @default.
• W3197192617 hasRelatedWork W1479042755 @default.
• W3197192617 hasRelatedWork W1530709631 @default.
• W3197192617 hasRelatedWork W2123105015 @default.
• W3197192617 hasRelatedWork W2137780954 @default.
• W3197192617 hasRelatedWork W2793983771 @default.
• W3197192617 hasRelatedWork W2891688494 @default.
• W3197192617 hasRelatedWork W3160700379 @default.
• W3197192617 hasRelatedWork W4210480840 @default.
• W3197192617 hasRelatedWork W4289719533 @default.
• W3197192617 hasRelatedWork W4295728898 @default.
• W3197192617 isParatext "false" @default.
• W3197192617 isRetracted "false" @default.

• next