The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957): Difference between revisions

@@ 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.1007/978-3-642-03816-7_50
+Normal rank
@@ Property / OpenAlex ID @@
+W2114710125
@@ Property / OpenAlex ID: W2114710125 / 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 @@
+Generalized Modal Satisfiability
@@ Property / cites work: Generalized Modal Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Syntactic codes and grammar refinement
@@ Property / cites work: Syntactic codes and grammar refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and Succinctness Issues for Linear-Time Hybrid Logics
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+The complexity of existential quantification in concept languages.
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+The Complexity of Poor Man's Logic
@@ Property / cites work: The Complexity of Poor Man's Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability for fragments of hybrid logic. I.
+Normal rank
@@ Property / cites work @@
+Complexity of hybrid logics over transitive frames
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+Gap-languages and log-time complexity classes
@@ Property / cites work: Gap-languages and log-time complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Bounded-Variable Fragments of Hybrid Logics
@@ Property / cites work: Bounded-Variable Fragments of Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank