Deciding the existence of uniform interpolants over transitive models (Q627437): Difference between revisions

@@ Property / cites work @@
+The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems
+Normal rank
@@ Property / cites work @@
+Algebra for Infinite Forests with an Application to the Temporal Logic EF
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank