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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0168-0072(98)00029-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2133505614
@@ Property / OpenAlex ID: W2133505614 / rank @@
+Normal rank