Propositional dynamic logic of regular programs (Q1258296): Difference between revisions

@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+On static logics, dynamic logics, and complexity classes
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q4047108
@@ Property / cites work: Q4047108 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q4136521
@@ Property / cites work: Q4136521 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581604
@@ Property / cites work: Q5581604 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank