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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22119-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2219260021
@@ Property / OpenAlex ID: W2219260021 / rank @@
+Normal rank
@@ 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