Determinism and looping in combinatory PDL (Q921968): Difference between revisions

@@ Property / cites work @@
+Deterministic propositional dynamic logic: finite models, complexity, and completeness
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+More on looping vs. repeating in dynamic logic
@@ Property / cites work: More on looping vs. repeating in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Looping vs. repeating in dynamic logic
@@ Property / cites work: Looping vs. repeating in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919674
@@ Property / cites work: Q3919674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326827
@@ Property / cites work: Q3326827 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with data constants
@@ Property / cites work: PDL with data constants / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3699665
@@ Property / cites work: Q3699665 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank