A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012): Difference between revisions

@@ Property / cites work @@
+Finite Monadic Algebras
@@ Property / cites work: Finite Monadic Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074882
@@ Property / cites work: Q4074882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+A survey of proof theory
@@ Property / cites work: A survey of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5553251
@@ Property / cites work: Q5553251 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Theory of Completeness Proofs
@@ Property / cites work: A General Theory of Completeness Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5508993
@@ Property / cites work: Q5508993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109655
@@ Property / cites work: Q4109655 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538910
@@ Property / cites work: Q5538910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628097
@@ Property / cites work: Q5628097 / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank