A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117): Difference between revisions

@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Q3838802
@@ Property / cites work: Q3838802 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+The Complexity of Regularity in Grammar Logics and Related Modal Logics
+Normal rank
@@ Property / cites work @@
+Deciding regular grammar logics with converse through first-order logic
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Q3351355
@@ Property / cites work: Q3351355 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
+Normal rank
@@ Property / cites work @@
+Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of SHIQ with complex role inclusion axioms
+Normal rank
@@ Property / cites work @@
+Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
+Normal rank
@@ Property / cites work @@
+Q3509063
@@ Property / cites work: Q3509063 / rank @@
+Normal rank
@@ Property / cites work @@
+ExpTime tableau decision procedures for regular grammar logics with converse
+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 @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank