Craig Interpolation for Linear Temporal Languages (Q3644755): Difference between revisions

@@ Property / cites work @@
+Partition-based logical reasoning for first-order and propositional theories
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on linear orderings
@@ Property / cites work: Automata on linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Interpolation in non-classical logics
@@ Property / cites work: Interpolation in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Interpolation in computing science: The semantics of modularization
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817547
@@ Property / cites work: Q4817547 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics with ``the next'' operator do not have interpolation or the Beth property
+Normal rank
@@ Property / cites work @@
+Stutter-invariant temporal properties are expressible without the next-time operator
+Normal rank