Interpretability of first-order linear temporal logics in fork algebras (Q817582): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2005.04.005
@@ Property / DOI: 10.1016/j.jlap.2005.04.005 / 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.jlap.2005.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1994436809
@@ Property / OpenAlex ID: W1994436809 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810602
@@ Property / cites work: Q5810602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5553248
@@ Property / cites work: Q5553248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3146903
@@ Property / cites work: Q3146903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381704
@@ Property / cites work: Q4381704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415071
@@ Property / cites work: Q4415071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2735802
@@ Property / cites work: Q2735802 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Reasoning in Non-Classical Logics
@@ Property / cites work: Equational Reasoning in Non-Classical Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary Algebraic Logic
@@ Property / cites work: Finitary Algebraic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362880
@@ Property / cites work: Q4362880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362879
@@ Property / cites work: Q4362879 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal algebra
@@ Property / cites work: Temporal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model for temporal logic
@@ Property / cites work: A relational model for temporal logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2005.04.005
@@ Property / DOI: 10.1016/J.JLAP.2005.04.005 / rank @@
+Normal rank