HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.02.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2109523922
@@ Property / OpenAlex ID: W2109523922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+The price of universality
@@ Property / cites work: The price of universality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217959
@@ Property / cites work: Q4217959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank