Model checking propositional dynamic logic with all extras (Q2494725): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2005.08.002
@@ Property / DOI: 10.1016/j.jal.2005.08.002 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2005.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2117221156
@@ Property / OpenAlex ID: W2117221156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385540
@@ Property / cites work: Q4385540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / 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 @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+A dynamic logic for acting, sensing, and planning
@@ Property / cites work: A dynamic logic for acting, sensing, and planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661972
@@ Property / cites work: Q4661972 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurring Dominoes: Making the Highly Undecidable Highly Understandable
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of nonregular programs
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+Q3740223
@@ Property / cites work: Q3740223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3748269
@@ Property / cites work: Q3748269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483005
@@ Property / cites work: Q5483005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Gaussian elimination is not optimal
@@ Property / cites work: Gaussian elimination is not optimal / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Boolean Matrices
@@ Property / cites work: A Theorem on Boolean Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
+Normal rank
@@ Property / cites work @@
+A characterization of exponential-time languages by alternating context- free grammars
+Normal rank
@@ Property / cites work @@
+Q4531380
@@ Property / cites work: Q4531380 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of PDL with interleaving
@@ Property / cites work: The complexity of PDL with interleaving / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2005.08.002
@@ Property / DOI: 10.1016/J.JAL.2005.08.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2494725