Undecidability of Multi-modal Hybrid Logics (Q2867946): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2006.11.024
@@ Property / DOI: 10.1016/j.entcs.2006.11.024 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408136
@@ Property / cites work: Q3408136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266483
@@ Property / cites work: Q4266483 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Undecidability of Multi-modal Hybrid Logics
@@ Property / cites work: Undecidability of Multi-modal Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of hybrid logics over transitive frames
+Normal rank
@@ Property / cites work @@
+On the size of refutation Kripke models for some linear modal and tense logics
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2006.11.024
@@ Property / DOI: 10.1016/J.ENTCS.2006.11.024 / rank @@
+Normal rank