Q4558785 (Q4558785): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Nested sequent calculi for normal conditional logics
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+From display to labelled proofs for tense logics
@@ Property / cites work: From display to labelled proofs for tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Prefixed tableaus and nested sequents
@@ Property / cites work: Prefixed tableaus and nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Nested sequents for intuitionistic logics
@@ Property / cites work: Nested sequents for intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
+Normal rank
@@ Property / cites work @@
+Q5419884
@@ Property / cites work: Q5419884 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for some tense logics
@@ Property / cites work: Cut-free sequent calculi for some tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for indexed nested sequents
@@ Property / cites work: Proof theory for indexed nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed systems of sequents and cut-elimination
@@ Property / cites work: Indexed systems of sequents and cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
+Normal rank
@@ Property / cites work @@
+Embedding the hypersequent calculus in the display calculus
+Normal rank
@@ Property / cites work @@
+Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
+Normal rank
@@ Property / cites work @@
+Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4558785