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

@@ Property / DOI @@
-.1007/s00153-010-0208-5
@@ Property / DOI: 10.1007/s00153-010-0208-5 / 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.1007/s00153-010-0208-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2052270601
@@ Property / OpenAlex ID: W2052270601 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00153-010-0208-5
@@ Property / DOI: 10.1007/S00153-010-0208-5 / rank @@
+Normal rank