An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121): Difference between revisions

@@ Property / cites work @@
+One-Pass Tableaux for Computation Tree Logic
@@ Property / cites work: One-Pass Tableaux for Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
+Normal rank
@@ Property / cites work @@
+About cut elimination for logics of common knowledge
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+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 @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free common knowledge
@@ Property / cites work: Cut-free common knowledge / 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 @@
+Q3838819
@@ Property / cites work: Q3838819 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank