The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-023-00882-6
@@ Property / DOI: 10.1007/s00153-023-00882-6 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4380153182
@@ Property / OpenAlex ID: W4380153182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329232
@@ Property / cites work: Q4329232 / rank @@
+Normal rank
@@ Property / cites work @@
+The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694209
@@ Property / cites work: Q4694209 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fixed points in interpretability logic
@@ Property / cites work: Explicit fixed points in interpretability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal completeness of sublogics of the interpretability logic IL
+Normal rank
@@ Property / cites work @@
+Countably many sublogics of the interpretability logic<b>IL</b>having fixed point properties
+Normal rank
@@ Property / cites work @@
+An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
+Normal rank
@@ Property / cites work @@
+Q3900021
@@ Property / cites work: Q3900021 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694229
@@ Property / cites work: Q4694229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215610
@@ Property / cites work: Q4215610 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-023-00882-6
@@ Property / DOI: 10.1007/S00153-023-00882-6 / rank @@
+Normal rank