Q5015273 (Q5015273): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04093
@@ Property / arXiv ID: 1609.04093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4462629
@@ Property / cites work: Q4462629 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
+Normal rank
@@ Property / cites work @@
+Q2711323
@@ Property / cites work: Q2711323 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with intersection of programs: a complete axiomatization
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic is weaker without tests
+Normal rank
@@ Property / cites work @@
+Q3748269
@@ Property / cites work: Q3748269 / rank @@
+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 @@
+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 @@
+-Exp Time lower bounds for propositional dynamic logics with intersection
+Normal rank
@@ Property / cites work @@
+Q4173344
@@ Property / cites work: Q4173344 / 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 @@
+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 @@
+Reasoning about action and change. A dynamic logic approach
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5015273