A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363): Difference between revisions

@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904047
@@ Property / cites work: Q2904047 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430403
@@ Property / cites work: Q4430403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412857
@@ Property / cites work: Q4412857 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating tableau systems for hybrid logic with difference and converse
+Normal rank
@@ Property / cites work @@
+Guarded fragments with constants
@@ Property / cites work: Guarded fragments with constants / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank