FRINK Linked Data Fragments server

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

• W1561030430 endingPage "155" @default.
• W1561030430 startingPage "140" @default.
• W1561030430 abstract "The logic µ(U) is the fixpoint extension of the Until-only fragment of linear-time temporal logic. It also happens to be the stutter-invariant fragment of linear-time µ-calculus µ(◊). We provide complete axiomatizations of µ(U) on the class of finite words and on the class of ω-words. We introduce for this end another logic, which we call µ(◊_Γ), and which is a variation of µ(◊) where the Next time operator is replaced by the family of its stutter-invariant counterparts. This logic has exactly the same expressive power as µ(U). Using already known results for µ(◊), we first prove completeness for µ(◊_Γ), which finally allows us to obtain completeness for µ(U)." @default.
• W1561030430 created "2016-06-24" @default.
• W1561030430 creator A5040324662 @default.
• W1561030430 date "2010-01-01" @default.
• W1561030430 modified "2023-09-23" @default.
• W1561030430 title "Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus" @default.
• W1561030430 cites W1482831113 @default.
• W1561030430 cites W1523736181 @default.
• W1561030430 cites W1576691229 @default.
• W1561030430 cites W1583275894 @default.
• W1561030430 cites W1587584656 @default.
• W1561030430 cites W1896053542 @default.
• W1561030430 cites W2026379532 @default.
• W1561030430 cites W2041743477 @default.
• W1561030430 cites W2057072590 @default.
• W1561030430 cites W2099126437 @default.
• W1561030430 cites W2155756511 @default.
• W1561030430 cites W2161814552 @default.
• W1561030430 cites W22958072 @default.
• W1561030430 cites W2571737579 @default.
• W1561030430 hasPublicationYear "2010" @default.
• W1561030430 type Work @default.
• W1561030430 sameAs 1561030430 @default.
• W1561030430 citedByCount "0" @default.
• W1561030430 crossrefType "proceedings-article" @default.
• W1561030430 hasAuthorship W1561030430A5040324662 @default.
• W1561030430 hasConcept C104317684 @default.
• W1561030430 hasConcept C11413529 @default.
• W1561030430 hasConcept C118615104 @default.
• W1561030430 hasConcept C134306372 @default.
• W1561030430 hasConcept C136119220 @default.
• W1561030430 hasConcept C158448853 @default.
• W1561030430 hasConcept C17020691 @default.
• W1561030430 hasConcept C17231256 @default.
• W1561030430 hasConcept C185592680 @default.
• W1561030430 hasConcept C190470478 @default.
• W1561030430 hasConcept C195818886 @default.
• W1561030430 hasConcept C199343813 @default.
• W1561030430 hasConcept C202444582 @default.
• W1561030430 hasConcept C25016198 @default.
• W1561030430 hasConcept C2776235265 @default.
• W1561030430 hasConcept C2777686260 @default.
• W1561030430 hasConcept C28077239 @default.
• W1561030430 hasConcept C33923547 @default.
• W1561030430 hasConcept C37914503 @default.
• W1561030430 hasConcept C41008148 @default.
• W1561030430 hasConcept C4777664 @default.
• W1561030430 hasConcept C55493867 @default.
• W1561030430 hasConcept C61445026 @default.
• W1561030430 hasConcept C71924100 @default.
• W1561030430 hasConcept C80444323 @default.
• W1561030430 hasConcept C86339819 @default.
• W1561030430 hasConceptScore W1561030430C104317684 @default.
• W1561030430 hasConceptScore W1561030430C11413529 @default.
• W1561030430 hasConceptScore W1561030430C118615104 @default.
• W1561030430 hasConceptScore W1561030430C134306372 @default.
• W1561030430 hasConceptScore W1561030430C136119220 @default.
• W1561030430 hasConceptScore W1561030430C158448853 @default.
• W1561030430 hasConceptScore W1561030430C17020691 @default.
• W1561030430 hasConceptScore W1561030430C17231256 @default.
• W1561030430 hasConceptScore W1561030430C185592680 @default.
• W1561030430 hasConceptScore W1561030430C190470478 @default.
• W1561030430 hasConceptScore W1561030430C195818886 @default.
• W1561030430 hasConceptScore W1561030430C199343813 @default.
• W1561030430 hasConceptScore W1561030430C202444582 @default.
• W1561030430 hasConceptScore W1561030430C25016198 @default.
• W1561030430 hasConceptScore W1561030430C2776235265 @default.
• W1561030430 hasConceptScore W1561030430C2777686260 @default.
• W1561030430 hasConceptScore W1561030430C28077239 @default.
• W1561030430 hasConceptScore W1561030430C33923547 @default.
• W1561030430 hasConceptScore W1561030430C37914503 @default.
• W1561030430 hasConceptScore W1561030430C41008148 @default.
• W1561030430 hasConceptScore W1561030430C4777664 @default.
• W1561030430 hasConceptScore W1561030430C55493867 @default.
• W1561030430 hasConceptScore W1561030430C61445026 @default.
• W1561030430 hasConceptScore W1561030430C71924100 @default.
• W1561030430 hasConceptScore W1561030430C80444323 @default.
• W1561030430 hasConceptScore W1561030430C86339819 @default.
• W1561030430 hasIssue "8" @default.
• W1561030430 hasLocation W15610304301 @default.
• W1561030430 hasOpenAccess W1561030430 @default.
• W1561030430 hasPrimaryLocation W15610304301 @default.
• W1561030430 hasRelatedWork W2023511748 @default.
• W1561030430 hasRelatedWork W2096975981 @default.
• W1561030430 hasRelatedWork W2127907968 @default.
• W1561030430 hasRelatedWork W2165602048 @default.
• W1561030430 hasRelatedWork W220669002 @default.
• W1561030430 hasRelatedWork W2244009261 @default.
• W1561030430 hasRelatedWork W2283837784 @default.
• W1561030430 hasRelatedWork W2341131828 @default.
• W1561030430 hasRelatedWork W2405321979 @default.
• W1561030430 hasRelatedWork W2415579669 @default.
• W1561030430 hasRelatedWork W2621167117 @default.
• W1561030430 hasRelatedWork W2939312767 @default.
• W1561030430 hasRelatedWork W2949746505 @default.
• W1561030430 hasRelatedWork W2951706561 @default.
• W1561030430 hasRelatedWork W2952346302 @default.
• W1561030430 hasRelatedWork W2952402778 @default.

• next