FRINK Linked Data Fragments server

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

• W1550177384 endingPage "558" @default.
• W1550177384 startingPage "552" @default.
• W1550177384 abstract "We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing first-order logics of programs that manipulate their environment, including Floyd's and Hoare's logics of partial correctness and Manna and Waldinger's logic of total correctness. Dynamic logic is more closely related to classical first-order logic than any other proposed logic of programs. This simplifies the design of a proof-checker for dynamic logic. Work in progress on the implementation of such a program is reported on, and an example machine-checked proof is exhibited." @default.
• W1550177384 created "2016-06-24" @default.
• W1550177384 creator A5049565276 @default.
• W1550177384 creator A5052139381 @default.
• W1550177384 date "1977-08-22" @default.
• W1550177384 modified "2023-09-24" @default.
• W1550177384 title "A proof-checker for dynamic logic" @default.
• W1550177384 cites W1504915353 @default.
• W1550177384 cites W1517987377 @default.
• W1550177384 cites W1546746643 @default.
• W1550177384 cites W1572470107 @default.
• W1550177384 cites W1714874858 @default.
• W1550177384 cites W1965790939 @default.
• W1550177384 cites W1980738498 @default.
• W1550177384 cites W1984820433 @default.
• W1550177384 cites W2028902198 @default.
• W1550177384 cites W2031506341 @default.
• W1550177384 cites W2035519363 @default.
• W1550177384 cites W2068106852 @default.
• W1550177384 cites W2094015376 @default.
• W1550177384 cites W2100738443 @default.
• W1550177384 cites W2103953153 @default.
• W1550177384 cites W2156472435 @default.
• W1550177384 cites W2163751633 @default.
• W1550177384 cites W25397687 @default.
• W1550177384 cites W3129277215 @default.
• W1550177384 cites W3139094484 @default.
• W1550177384 cites W3144889436 @default.
• W1550177384 cites W3146075203 @default.
• W1550177384 hasPublicationYear "1977" @default.
• W1550177384 type Work @default.
• W1550177384 sameAs 1550177384 @default.
• W1550177384 citedByCount "5" @default.
• W1550177384 countsByYear W15501773842020 @default.
• W1550177384 crossrefType "proceedings-article" @default.
• W1550177384 hasAuthorship W1550177384A5049565276 @default.
• W1550177384 hasAuthorship W1550177384A5052139381 @default.
• W1550177384 hasConcept C101874905 @default.
• W1550177384 hasConcept C102993220 @default.
• W1550177384 hasConcept C104949639 @default.
• W1550177384 hasConcept C121332964 @default.
• W1550177384 hasConcept C124047733 @default.
• W1550177384 hasConcept C156325763 @default.
• W1550177384 hasConcept C165801399 @default.
• W1550177384 hasConcept C169896238 @default.
• W1550177384 hasConcept C172385210 @default.
• W1550177384 hasConcept C173856430 @default.
• W1550177384 hasConcept C184337299 @default.
• W1550177384 hasConcept C199360897 @default.
• W1550177384 hasConcept C203659156 @default.
• W1550177384 hasConcept C207648694 @default.
• W1550177384 hasConcept C25016198 @default.
• W1550177384 hasConcept C2777796570 @default.
• W1550177384 hasConcept C3845977 @default.
• W1550177384 hasConcept C41008148 @default.
• W1550177384 hasConcept C4777664 @default.
• W1550177384 hasConcept C55439883 @default.
• W1550177384 hasConcept C58041814 @default.
• W1550177384 hasConcept C62520636 @default.
• W1550177384 hasConcept C80444323 @default.
• W1550177384 hasConcept C80467683 @default.
• W1550177384 hasConceptScore W1550177384C101874905 @default.
• W1550177384 hasConceptScore W1550177384C102993220 @default.
• W1550177384 hasConceptScore W1550177384C104949639 @default.
• W1550177384 hasConceptScore W1550177384C121332964 @default.
• W1550177384 hasConceptScore W1550177384C124047733 @default.
• W1550177384 hasConceptScore W1550177384C156325763 @default.
• W1550177384 hasConceptScore W1550177384C165801399 @default.
• W1550177384 hasConceptScore W1550177384C169896238 @default.
• W1550177384 hasConceptScore W1550177384C172385210 @default.
• W1550177384 hasConceptScore W1550177384C173856430 @default.
• W1550177384 hasConceptScore W1550177384C184337299 @default.
• W1550177384 hasConceptScore W1550177384C199360897 @default.
• W1550177384 hasConceptScore W1550177384C203659156 @default.
• W1550177384 hasConceptScore W1550177384C207648694 @default.
• W1550177384 hasConceptScore W1550177384C25016198 @default.
• W1550177384 hasConceptScore W1550177384C2777796570 @default.
• W1550177384 hasConceptScore W1550177384C3845977 @default.
• W1550177384 hasConceptScore W1550177384C41008148 @default.
• W1550177384 hasConceptScore W1550177384C4777664 @default.
• W1550177384 hasConceptScore W1550177384C55439883 @default.
• W1550177384 hasConceptScore W1550177384C58041814 @default.
• W1550177384 hasConceptScore W1550177384C62520636 @default.
• W1550177384 hasConceptScore W1550177384C80444323 @default.
• W1550177384 hasConceptScore W1550177384C80467683 @default.
• W1550177384 hasLocation W15501773841 @default.
• W1550177384 hasOpenAccess W1550177384 @default.
• W1550177384 hasPrimaryLocation W15501773841 @default.
• W1550177384 hasRelatedWork W1479715087 @default.
• W1550177384 hasRelatedWork W1501876253 @default.
• W1550177384 hasRelatedWork W1503791035 @default.
• W1550177384 hasRelatedWork W1514335004 @default.
• W1550177384 hasRelatedWork W1529790367 @default.
• W1550177384 hasRelatedWork W1537765962 @default.
• W1550177384 hasRelatedWork W1557086397 @default.
• W1550177384 hasRelatedWork W1557487632 @default.
• W1550177384 hasRelatedWork W1558326452 @default.
• W1550177384 hasRelatedWork W1570106656 @default.

• next