Process logic: Expressiveness, decidability, completeness (Q1168965): 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/0022-0000(82)90003-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1967494119
@@ Property / OpenAlex ID: W1967494119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130976
@@ Property / cites work: Q4130976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917484
@@ Property / cites work: Q3917484 / rank @@
+Normal rank
@@ Property / cites work @@
+Equations between Regular Terms and an Application to Process Logic
+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 @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two results on process logic
@@ Property / cites work: Two results on process logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3897035
@@ Property / cites work: Q3897035 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190096
@@ Property / cites work: Q4190096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4090322
@@ Property / cites work: Q4090322 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in dynamic logic
@@ Property / cites work: Definability in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptively complete process logic
@@ Property / cites work: Descriptively complete process logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581604
@@ Property / cites work: Q5581604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187287
@@ Property / cites work: Q4187287 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+A near-optimal method for reasoning about action
@@ Property / cites work: A near-optimal method for reasoning about action / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank