Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247483382> ?p ?o ?g. }
- W4247483382 endingPage "656" @default.
- W4247483382 startingPage "645" @default.
- W4247483382 abstract "We show how to axiomatize by equations the least prefixed point of an order preserving function and discuss the domain of application of the proposed method. Thus, we generalize the well known equational axiomatization of Propositional Dynamic Logic to a complete equational axiomatization of the Boolean Modal μ-Calculus. We show on the other hand that the existence of a term which does not preserve the order is an essential condition for the least prefixed point to be definable by equations." @default.
- W4247483382 created "2022-05-12" @default.
- W4247483382 creator A5049300785 @default.
- W4247483382 date "2001-01-01" @default.
- W4247483382 modified "2023-10-16" @default.
- W4247483382 title "On the Equational Definition of the Least Prefixed Point" @default.
- W4247483382 cites W1481365453 @default.
- W4247483382 cites W1482768571 @default.
- W4247483382 cites W1972289972 @default.
- W4247483382 cites W1988903622 @default.
- W4247483382 cites W2015640848 @default.
- W4247483382 cites W2022554132 @default.
- W4247483382 cites W2064994844 @default.
- W4247483382 cites W2068769696 @default.
- W4247483382 cites W2080427861 @default.
- W4247483382 cites W2091780332 @default.
- W4247483382 cites W2126399192 @default.
- W4247483382 cites W2153364044 @default.
- W4247483382 cites W2160092645 @default.
- W4247483382 cites W2168498451 @default.
- W4247483382 cites W2319939065 @default.
- W4247483382 cites W2726927860 @default.
- W4247483382 cites W4212873186 @default.
- W4247483382 cites W4213165878 @default.
- W4247483382 cites W4238533884 @default.
- W4247483382 cites W78281073 @default.
- W4247483382 doi "https://doi.org/10.1007/3-540-44683-4_56" @default.
- W4247483382 hasPublicationYear "2001" @default.
- W4247483382 type Work @default.
- W4247483382 citedByCount "1" @default.
- W4247483382 crossrefType "book-chapter" @default.
- W4247483382 hasAuthorship W4247483382A5049300785 @default.
- W4247483382 hasConcept C100481476 @default.
- W4247483382 hasConcept C114092440 @default.
- W4247483382 hasConcept C118615104 @default.
- W4247483382 hasConcept C121332964 @default.
- W4247483382 hasConcept C134306372 @default.
- W4247483382 hasConcept C136119220 @default.
- W4247483382 hasConcept C14036430 @default.
- W4247483382 hasConcept C173125200 @default.
- W4247483382 hasConcept C185592680 @default.
- W4247483382 hasConcept C188027245 @default.
- W4247483382 hasConcept C199343813 @default.
- W4247483382 hasConcept C202444582 @default.
- W4247483382 hasConcept C2524010 @default.
- W4247483382 hasConcept C27508121 @default.
- W4247483382 hasConcept C2777686260 @default.
- W4247483382 hasConcept C28719098 @default.
- W4247483382 hasConcept C33923547 @default.
- W4247483382 hasConcept C36503486 @default.
- W4247483382 hasConcept C41008148 @default.
- W4247483382 hasConcept C61797465 @default.
- W4247483382 hasConcept C62520636 @default.
- W4247483382 hasConcept C69562738 @default.
- W4247483382 hasConcept C71139939 @default.
- W4247483382 hasConcept C71924100 @default.
- W4247483382 hasConcept C78458016 @default.
- W4247483382 hasConcept C86803240 @default.
- W4247483382 hasConceptScore W4247483382C100481476 @default.
- W4247483382 hasConceptScore W4247483382C114092440 @default.
- W4247483382 hasConceptScore W4247483382C118615104 @default.
- W4247483382 hasConceptScore W4247483382C121332964 @default.
- W4247483382 hasConceptScore W4247483382C134306372 @default.
- W4247483382 hasConceptScore W4247483382C136119220 @default.
- W4247483382 hasConceptScore W4247483382C14036430 @default.
- W4247483382 hasConceptScore W4247483382C173125200 @default.
- W4247483382 hasConceptScore W4247483382C185592680 @default.
- W4247483382 hasConceptScore W4247483382C188027245 @default.
- W4247483382 hasConceptScore W4247483382C199343813 @default.
- W4247483382 hasConceptScore W4247483382C202444582 @default.
- W4247483382 hasConceptScore W4247483382C2524010 @default.
- W4247483382 hasConceptScore W4247483382C27508121 @default.
- W4247483382 hasConceptScore W4247483382C2777686260 @default.
- W4247483382 hasConceptScore W4247483382C28719098 @default.
- W4247483382 hasConceptScore W4247483382C33923547 @default.
- W4247483382 hasConceptScore W4247483382C36503486 @default.
- W4247483382 hasConceptScore W4247483382C41008148 @default.
- W4247483382 hasConceptScore W4247483382C61797465 @default.
- W4247483382 hasConceptScore W4247483382C62520636 @default.
- W4247483382 hasConceptScore W4247483382C69562738 @default.
- W4247483382 hasConceptScore W4247483382C71139939 @default.
- W4247483382 hasConceptScore W4247483382C71924100 @default.
- W4247483382 hasConceptScore W4247483382C78458016 @default.
- W4247483382 hasConceptScore W4247483382C86803240 @default.
- W4247483382 hasLocation W42474833821 @default.
- W4247483382 hasOpenAccess W4247483382 @default.
- W4247483382 hasPrimaryLocation W42474833821 @default.
- W4247483382 hasRelatedWork W2011230116 @default.
- W4247483382 hasRelatedWork W2064273963 @default.
- W4247483382 hasRelatedWork W2067687795 @default.
- W4247483382 hasRelatedWork W2179240994 @default.
- W4247483382 hasRelatedWork W2540322980 @default.
- W4247483382 hasRelatedWork W2613767741 @default.
- W4247483382 hasRelatedWork W3205223140 @default.
- W4247483382 hasRelatedWork W4225539085 @default.
- W4247483382 hasRelatedWork W4286903732 @default.
- W4247483382 hasRelatedWork W46061460 @default.
- W4247483382 isParatext "false" @default.