2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241): 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.2178/jsl/1129642115
+Normal rank
@@ Property / OpenAlex ID @@
+W2044028378
@@ Property / OpenAlex ID: W2044028378 / 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 @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Volume II: Extensions of classical logic
+Normal rank
@@ Property / cites work @@
+Parallel action: Concurrent dynamic logic with independent modalities
+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 @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+The complexity of PDL with interleaving
@@ Property / cites work: The complexity of PDL with interleaving / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with negation of atomic programs
@@ Property / cites work: PDL with negation of atomic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of concept languages
@@ Property / cites work: The complexity of concept languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Perspective on Path Constraints
@@ Property / cites work: A Modal Perspective on Path Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+PDL for ordered trees
@@ Property / cites work: PDL for ordered trees / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5486241