The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095): 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.1016/j.entcs.2008.12.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2080461902
@@ Property / OpenAlex ID: W2080461902 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57998331
@@ Property / Wikidata QID: Q57998331 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+About the expressive power of CTL combinators
@@ Property / cites work: About the expressive power of CTL combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+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 propositional linear temporal logics
+Normal rank