A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460): Difference between revisions

@@ Property / cites work @@
+Q3939224
@@ Property / cites work: Q3939224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198727
@@ Property / cites work: Q4198727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208642
@@ Property / cites work: Q3208642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883472
@@ Property / cites work: Q3883472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939223
@@ Property / cites work: Q3939223 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for modal logic. Kripke models for modal predicate calculi
+Normal rank
@@ Property / cites work @@
+Q4178463
@@ Property / cites work: Q4178463 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+On some classes of interpretations
@@ Property / cites work: On some classes of interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883474
@@ Property / cites work: Q3883474 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs and program verifications in a general setting
+Normal rank
@@ Property / cites work @@
+Q3886835
@@ Property / cites work: Q3886835 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517672
@@ Property / cites work: Q5517672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4173344
@@ Property / cites work: Q4173344 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Q3956920
@@ Property / cites work: Q3956920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896482
@@ Property / cites work: Q3896482 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying modal logic
@@ Property / cites work: Applying modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893906
@@ Property / cites work: Q3893906 / rank @@
+Normal rank