Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415): Difference between revisions

@@ Property / cites work @@
+PDL with intersection of programs: a complete axiomatization
+Normal rank
@@ Property / cites work @@
+A Propositional Dynamic Logic for CCS Programs
@@ Property / cites work: A Propositional Dynamic Logic for CCS Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
+Normal rank
@@ Property / cites work @@
+DAL -- a logic for data analysis
@@ Property / cites work: DAL -- a logic for data analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel action: Concurrent dynamic logic with independent modalities
+Normal rank
@@ Property / cites work @@
+Deciding Properties of Nonregular Programs
@@ Property / cites work: Deciding Properties of Nonregular Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic codes and grammar refinement
@@ Property / cites work: Syntactic codes and grammar refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic with recursive programs
+Normal rank
@@ Property / cites work @@
+Extending propositional dynamic logic for Petri nets
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3957925
@@ Property / cites work: Q3957925 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Communication in concurrent dynamic logic
@@ Property / cites work: Communication in concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3475251
@@ Property / cites work: Q3475251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5523291
@@ Property / cites work: Q5523291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325792
@@ Property / cites work: Q4325792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782498
@@ Property / cites work: Q2782498 / rank @@
+Normal rank