Extended decision procedure for a fragment of HL with binders (Q2351423): Difference between revisions

@@ Property / cites work @@
+Terminating Tableau Calculi for Hybrid Logics Extending K
+Normal rank
@@ Property / cites work @@
+A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
+Normal rank
@@ Property / cites work @@
+A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
+Normal rank
@@ Property / cites work @@
+A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Hybrid Logics and Ontology Languages
@@ Property / cites work: Hybrid Logics and Ontology Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
+Normal rank
@@ Property / cites work @@
+Terminating tableau systems for hybrid logic with difference and converse
+Normal rank
@@ Property / cites work @@
+A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank