Matches in SemOpenAlex for { <https://semopenalex.org/work/W35977690> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W35977690 abstract "Harel proved that the dynamic logic is complete in the class of arithmetical interpretations. The set of natural numbers stands primitive notion in arithmetical interpretations, i.e. the following condition holds: there exists a unary relation symbol nat such that every arithmetical interpretation I, natI is the set of natural numbers. It is proved that the completeness is lost when this condition is relaxed to the following one: for every interpretationI involved, the set of natural numbers is first-order definable in I. Thus we prove that the dynamic logic is not relatively complete in the sense of Cook." @default.
- W35977690 created "2016-06-24" @default.
- W35977690 creator A5018438936 @default.
- W35977690 date "1985-01-01" @default.
- W35977690 modified "2023-09-23" @default.
- W35977690 title "Non-uniformity of dynamic logic" @default.
- W35977690 cites W1834038514 @default.
- W35977690 doi "https://doi.org/10.1007/3-540-16066-3_9" @default.
- W35977690 hasPublicationYear "1985" @default.
- W35977690 type Work @default.
- W35977690 sameAs 35977690 @default.
- W35977690 citedByCount "0" @default.
- W35977690 crossrefType "book-chapter" @default.
- W35977690 hasAuthorship W35977690A5018438936 @default.
- W35977690 hasConcept C102993220 @default.
- W35977690 hasConcept C110039528 @default.
- W35977690 hasConcept C112343008 @default.
- W35977690 hasConcept C118615104 @default.
- W35977690 hasConcept C121332964 @default.
- W35977690 hasConcept C134306372 @default.
- W35977690 hasConcept C134400042 @default.
- W35977690 hasConcept C154945302 @default.
- W35977690 hasConcept C165801399 @default.
- W35977690 hasConcept C17231256 @default.
- W35977690 hasConcept C172385210 @default.
- W35977690 hasConcept C177264268 @default.
- W35977690 hasConcept C184264201 @default.
- W35977690 hasConcept C199360897 @default.
- W35977690 hasConcept C203659156 @default.
- W35977690 hasConcept C2777212361 @default.
- W35977690 hasConcept C2777796570 @default.
- W35977690 hasConcept C33923547 @default.
- W35977690 hasConcept C41008148 @default.
- W35977690 hasConcept C62520636 @default.
- W35977690 hasConcept C78023250 @default.
- W35977690 hasConcept C80444323 @default.
- W35977690 hasConcept C94375191 @default.
- W35977690 hasConceptScore W35977690C102993220 @default.
- W35977690 hasConceptScore W35977690C110039528 @default.
- W35977690 hasConceptScore W35977690C112343008 @default.
- W35977690 hasConceptScore W35977690C118615104 @default.
- W35977690 hasConceptScore W35977690C121332964 @default.
- W35977690 hasConceptScore W35977690C134306372 @default.
- W35977690 hasConceptScore W35977690C134400042 @default.
- W35977690 hasConceptScore W35977690C154945302 @default.
- W35977690 hasConceptScore W35977690C165801399 @default.
- W35977690 hasConceptScore W35977690C17231256 @default.
- W35977690 hasConceptScore W35977690C172385210 @default.
- W35977690 hasConceptScore W35977690C177264268 @default.
- W35977690 hasConceptScore W35977690C184264201 @default.
- W35977690 hasConceptScore W35977690C199360897 @default.
- W35977690 hasConceptScore W35977690C203659156 @default.
- W35977690 hasConceptScore W35977690C2777212361 @default.
- W35977690 hasConceptScore W35977690C2777796570 @default.
- W35977690 hasConceptScore W35977690C33923547 @default.
- W35977690 hasConceptScore W35977690C41008148 @default.
- W35977690 hasConceptScore W35977690C62520636 @default.
- W35977690 hasConceptScore W35977690C78023250 @default.
- W35977690 hasConceptScore W35977690C80444323 @default.
- W35977690 hasConceptScore W35977690C94375191 @default.
- W35977690 hasLocation W359776901 @default.
- W35977690 hasOpenAccess W35977690 @default.
- W35977690 hasPrimaryLocation W359776901 @default.
- W35977690 hasRelatedWork W194531240 @default.
- W35977690 hasRelatedWork W2016620481 @default.
- W35977690 hasRelatedWork W2025199228 @default.
- W35977690 hasRelatedWork W2028869853 @default.
- W35977690 hasRelatedWork W2029692192 @default.
- W35977690 hasRelatedWork W2030070824 @default.
- W35977690 hasRelatedWork W2039493583 @default.
- W35977690 hasRelatedWork W2045362720 @default.
- W35977690 hasRelatedWork W2046805782 @default.
- W35977690 hasRelatedWork W204859252 @default.
- W35977690 hasRelatedWork W2090437514 @default.
- W35977690 hasRelatedWork W2096897514 @default.
- W35977690 hasRelatedWork W2129092123 @default.
- W35977690 hasRelatedWork W2160331299 @default.
- W35977690 hasRelatedWork W2164958327 @default.
- W35977690 hasRelatedWork W2499105636 @default.
- W35977690 hasRelatedWork W2889399815 @default.
- W35977690 hasRelatedWork W2996529146 @default.
- W35977690 hasRelatedWork W3101258384 @default.
- W35977690 hasRelatedWork W3151462892 @default.
- W35977690 isParatext "false" @default.
- W35977690 isRetracted "false" @default.
- W35977690 magId "35977690" @default.
- W35977690 workType "book-chapter" @default.