A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2085424246
@@ Property / OpenAlex ID: W2085424246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Permutability of proofs in intuitionistic sequent calculi
+Normal rank
@@ Property / cites work @@
+Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\)
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / rank @@
+Normal rank
@@ Property / cites work @@
+On some calculi of modal logic
@@ Property / cites work: On some calculi of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein erweiterter Klassenkalkül
@@ Property / cites work: Ein erweiterter Klassenkalkül / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4650293