Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100): Difference between revisions

@@ Property / cites work @@
+Interpolation and definability in guarded fragments
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+On modal \(\mu\)-calculus with explicit interpolants
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419878
@@ Property / cites work: Q5419878 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Negation
@@ Property / cites work: Guarded Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263155
@@ Property / cites work: Q4263155 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Rewriting Guarded Negation Queries
@@ Property / cites work: Rewriting Guarded Negation Queries / rank @@
+Normal rank