Sequential method in propositional dynamic logic (Q1254991): Difference between revisions

@@ Property / author @@
+Hirokazu Nishimura
@@ Property / author: Hirokazu Nishimura / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of some tense logics by Gentzen's sequential method
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262211
@@ Property / cites work: Q3262211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4173344
@@ Property / cites work: Q4173344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109655
@@ Property / cites work: Q4109655 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of Kripke-type models for some modal logics by Gentzen's sequential method
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank