Fibring: completeness preservation (Q2732291): Difference between revisions

@@ 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.2307/2694931
@@ Property / full work available at URL: https://doi.org/10.2307/2694931 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2042927584
@@ Property / OpenAlex ID: W2042927584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Why combine logics?
@@ Property / cites work: Why combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample in tense logic
@@ Property / cites work: A counterexample in tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization of logics
@@ Property / cites work: Synchronization of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Basic logic: reflection, symmetry, visibility
@@ Property / cites work: Basic logic: reflection, symmetry, visibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank