On the Completeness of Dynamic Logic (Q3617722): Difference between revisions

@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. I
+Normal rank
@@ Property / cites work @@
+Dynamic Logic with Non-rigid Functions
@@ Property / cites work: Dynamic Logic with Non-rigid Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790404
@@ Property / cites work: Q4790404 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Programs and program verifications in a general setting
+Normal rank
@@ Property / cites work @@
+Q5622162
@@ Property / cites work: Q5622162 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Inductive Completeness of Logics of Programs
@@ Property / cites work: Inductive Completeness of Logics of Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626601
@@ Property / cites work: Q5626601 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical completeness in first-order dynamic logic for concurrent programs
+Normal rank
@@ Property / cites work @@
+An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic
+Normal rank
@@ Property / cites work @@
+On strictly arithmetical completeness in logics of programs
+Normal rank