A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564): Difference between revisions

@@ Property / describes a project that uses @@
+Ivy
@@ Property / describes a project that uses: Ivy / 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.ic.2020.104641
+Normal rank
@@ Property / OpenAlex ID @@
+W3096887581
@@ Property / OpenAlex ID: W3096887581 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic and state systems
@@ Property / cites work: Temporal logic and state systems / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite domains in first-order linear temporal logic
+Normal rank
@@ Property / cites work @@
+Decidable fragments of many-sorted logic
@@ Property / cites work: Decidable fragments of many-sorted logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
+Normal rank