Similarity saturation for first order linear temporal logic with UNLESS (Q5236443): 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/3-540-61630-6_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1537792051
@@ Property / OpenAlex ID: W1537792051 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of temporal proofs
@@ Property / cites work: The power of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975138
@@ Property / cites work: Q3975138 / rank @@
+Normal rank
@@ Property / cites work @@
+Up and Down The Temporal Way
@@ Property / cites work: Up and Down The Temporal Way / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733381
@@ Property / cites work: Q4733381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724155
@@ Property / cites work: Q2724155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264717
@@ Property / cites work: Q4264717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretability of arithmetic in temporal logic
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757835
@@ Property / cites work: Q2757835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282615
@@ Property / cites work: Q4282615 / rank @@
+Normal rank
@@ Property / cites work @@
+The saturated tableaux for linear miniscope Horn-like temporal logic
+Normal rank
@@ Property / cites work @@
+Temporal logics need their clocks
@@ Property / cites work: Temporal logics need their clocks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757840
@@ Property / cites work: Q2757840 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatic characterization of first-order temporal logic of linear time
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ Property / cites work @@
+Control problems in a temporal logic framework
@@ Property / cites work: Control problems in a temporal logic framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank