Modality, bisimulation and interpolation in infinitary logic (Q1295444): Difference between revisions

@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065514
@@ Property / cites work: Q4065514 / rank @@
+Normal rank
@@ Property / cites work @@
+The variety of consequence, according to Bolzano
@@ Property / cites work: The variety of consequence, according to Bolzano / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687548
@@ Property / cites work: Q5687548 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Program constructions that are safe for bisimulation
+Normal rank