Expressiveness of propositional projection temporal logic with star (Q2430015): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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.tcs.2010.12.047
+Normal rank
@@ Property / OpenAlex ID @@
+W2037296871
@@ Property / OpenAlex ID: W2037296871 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Framed temporal logic programming
@@ Property / cites work: Framed temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668862
@@ Property / cites work: Q3668862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341881
@@ Property / cites work: Q3341881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725528
@@ Property / cites work: Q3725528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745263
@@ Property / cites work: Q3745263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of propositional projection temporal logic with star
+Normal rank