Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978096968> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1978096968 endingPage "122" @default.
- W1978096968 startingPage "103" @default.
- W1978096968 abstract "A simplified fragment of PDL, denoted by MLCR—a Modal Logic for Cyclic Repeating—is introduced, in which a cyclic repeating of a program α can be expressed. A completeness theorem for MLCR with respect to the intended standard semantics is given. It is proved that MLCR does not possess the finite model property with respect to its standard models, but nevertheless, it possesses this property with respect to some nonstandard models and consequently is decidable." @default.
- W1978096968 created "2016-06-24" @default.
- W1978096968 creator A5076246494 @default.
- W1978096968 date "1992-11-01" @default.
- W1978096968 modified "2023-09-25" @default.
- W1978096968 title "A Modal Logic for Cyclic Repeating" @default.
- W1978096968 cites W1501571921 @default.
- W1978096968 cites W1748630121 @default.
- W1978096968 cites W1964845238 @default.
- W1978096968 cites W2025500813 @default.
- W1978096968 cites W2077631596 @default.
- W1978096968 cites W2163154038 @default.
- W1978096968 cites W90455378 @default.
- W1978096968 doi "https://doi.org/10.1016/0890-5401(92)90077-s" @default.
- W1978096968 hasPublicationYear "1992" @default.
- W1978096968 type Work @default.
- W1978096968 sameAs 1978096968 @default.
- W1978096968 citedByCount "3" @default.
- W1978096968 crossrefType "journal-article" @default.
- W1978096968 hasAuthorship W1978096968A5076246494 @default.
- W1978096968 hasConcept C102993220 @default.
- W1978096968 hasConcept C111472728 @default.
- W1978096968 hasConcept C114092440 @default.
- W1978096968 hasConcept C11413529 @default.
- W1978096968 hasConcept C118615104 @default.
- W1978096968 hasConcept C121332964 @default.
- W1978096968 hasConcept C134306372 @default.
- W1978096968 hasConcept C136119220 @default.
- W1978096968 hasConcept C138885662 @default.
- W1978096968 hasConcept C153269930 @default.
- W1978096968 hasConcept C165801399 @default.
- W1978096968 hasConcept C17231256 @default.
- W1978096968 hasConcept C172385210 @default.
- W1978096968 hasConcept C185592680 @default.
- W1978096968 hasConcept C188027245 @default.
- W1978096968 hasConcept C189950617 @default.
- W1978096968 hasConcept C199360897 @default.
- W1978096968 hasConcept C202444582 @default.
- W1978096968 hasConcept C203659156 @default.
- W1978096968 hasConcept C27508121 @default.
- W1978096968 hasConcept C2776235265 @default.
- W1978096968 hasConcept C2777796570 @default.
- W1978096968 hasConcept C2780069185 @default.
- W1978096968 hasConcept C33923547 @default.
- W1978096968 hasConcept C41008148 @default.
- W1978096968 hasConcept C62520636 @default.
- W1978096968 hasConcept C71139939 @default.
- W1978096968 hasConceptScore W1978096968C102993220 @default.
- W1978096968 hasConceptScore W1978096968C111472728 @default.
- W1978096968 hasConceptScore W1978096968C114092440 @default.
- W1978096968 hasConceptScore W1978096968C11413529 @default.
- W1978096968 hasConceptScore W1978096968C118615104 @default.
- W1978096968 hasConceptScore W1978096968C121332964 @default.
- W1978096968 hasConceptScore W1978096968C134306372 @default.
- W1978096968 hasConceptScore W1978096968C136119220 @default.
- W1978096968 hasConceptScore W1978096968C138885662 @default.
- W1978096968 hasConceptScore W1978096968C153269930 @default.
- W1978096968 hasConceptScore W1978096968C165801399 @default.
- W1978096968 hasConceptScore W1978096968C17231256 @default.
- W1978096968 hasConceptScore W1978096968C172385210 @default.
- W1978096968 hasConceptScore W1978096968C185592680 @default.
- W1978096968 hasConceptScore W1978096968C188027245 @default.
- W1978096968 hasConceptScore W1978096968C189950617 @default.
- W1978096968 hasConceptScore W1978096968C199360897 @default.
- W1978096968 hasConceptScore W1978096968C202444582 @default.
- W1978096968 hasConceptScore W1978096968C203659156 @default.
- W1978096968 hasConceptScore W1978096968C27508121 @default.
- W1978096968 hasConceptScore W1978096968C2776235265 @default.
- W1978096968 hasConceptScore W1978096968C2777796570 @default.
- W1978096968 hasConceptScore W1978096968C2780069185 @default.
- W1978096968 hasConceptScore W1978096968C33923547 @default.
- W1978096968 hasConceptScore W1978096968C41008148 @default.
- W1978096968 hasConceptScore W1978096968C62520636 @default.
- W1978096968 hasConceptScore W1978096968C71139939 @default.
- W1978096968 hasIssue "1" @default.
- W1978096968 hasLocation W19780969681 @default.
- W1978096968 hasOpenAccess W1978096968 @default.
- W1978096968 hasPrimaryLocation W19780969681 @default.
- W1978096968 hasRelatedWork W140111983 @default.
- W1978096968 hasRelatedWork W1538772034 @default.
- W1978096968 hasRelatedWork W1859786385 @default.
- W1978096968 hasRelatedWork W1975181532 @default.
- W1978096968 hasRelatedWork W2037754999 @default.
- W1978096968 hasRelatedWork W2077679640 @default.
- W1978096968 hasRelatedWork W2087078176 @default.
- W1978096968 hasRelatedWork W2101793126 @default.
- W1978096968 hasRelatedWork W3016746667 @default.
- W1978096968 hasRelatedWork W45950492 @default.
- W1978096968 hasVolume "101" @default.
- W1978096968 isParatext "false" @default.
- W1978096968 isRetracted "false" @default.
- W1978096968 magId "1978096968" @default.
- W1978096968 workType "article" @default.