Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128): Difference between revisions

@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics of domains on the real plane
@@ Property / cites work: Modal logics of domains on the real plane / rank @@
+Normal rank