Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121): Difference between revisions

@@ Property / cites work @@
+Q4187288
@@ Property / cites work: Q4187288 / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
+Normal rank
@@ Property / cites work @@
+Q4636282
@@ Property / cites work: Q4636282 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
+Normal rank
@@ Property / cites work @@
+Reasoning about sequences of memory states
@@ Property / cites work: Reasoning about sequences of memory states / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and logic for resource-based systems modelling
+Normal rank
@@ Property / cites work @@
+A Modal BI Logic for Dynamic Resource Properties
@@ Property / cites work: A Modal BI Logic for Dynamic Resource Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3748269
@@ Property / cites work: Q3748269 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Separation logics and modalities: a survey
@@ Property / cites work: Separation logics and modalities: a survey / 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 Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+Normal rank
@@ Property / cites work @@
+Decidable and undecidable logics with a binary modality
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent 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 @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank