Clausal Tableaux for Hybrid PDL (Q2825411): Difference between revisions

@@ Property / cites work @@
+An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+From regular expressions to deterministic automata
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+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 Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
+Normal rank
@@ Property / cites work @@
+Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Hybrid Logic with Eventualities
+Normal rank
@@ Property / cites work @@
+Clausal Tableaux for Hybrid PDL
@@ Property / cites work: Clausal Tableaux for Hybrid PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385540
@@ Property / cites work: Q4385540 / 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 @@
+Q4385527
@@ Property / cites work: Q4385527 / 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 @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank