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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(88)90126-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2025500813
@@ Property / OpenAlex ID: W2025500813 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:921968