Through an Inference Rule, Darkly (Q3305631): Difference between revisions

@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
+Normal rank
@@ Property / cites work @@
+The many faces of interpolation
@@ Property / cites work: The many faces of interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal 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 @@
+Modal interpolation via nested sequents
@@ Property / cites work: Modal interpolation via nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281253
@@ Property / cites work: Q4281253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / 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 @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419884
@@ Property / cites work: Q5419884 / rank @@
+Normal rank
@@ Property / cites work @@
+THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
@@ Property / cites work: THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE" / 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 @@
+Craig Interpolation via Hypersequents
@@ Property / cites work: Craig Interpolation via Hypersequents / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation Method for Multicomponent Sequent Calculi
+Normal rank
@@ Property / cites work @@
+Multicomponent proof-theoretic method for proving interpolation properties
+Normal rank
@@ Property / cites work @@
+Grafting hypersequents onto nested sequents
@@ Property / cites work: Grafting hypersequents onto nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224582
@@ Property / cites work: Q5224582 / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Linear Nested Sequents, 2-Sequents and Hypersequents
+Normal rank
@@ Property / cites work @@
+Hypersequent rules with restricted contexts for propositional modal logics
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Eine Darstellung der Intuitionistischen Logik in der Klassischen
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3331199
@@ Property / cites work: Q3331199 / rank @@
+Normal rank
@@ Property / cites work @@
+The Lyndon property and uniform interpolation over the Grzegorczyk logic
+Normal rank
@@ Property / cites work @@
+The Proof Theory of Common Knowledge
@@ Property / cites work: The Proof Theory of Common Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+-sequent calculus: A proof theory of modalities
@@ Property / cites work: 2-sequent calculus: A proof theory of modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly analytic tableaux for normal modal logics
+Normal rank
@@ Property / cites work @@
+Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg ``Proof theory as mathesis universalis'', held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24--28, 2017
+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 @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / 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 @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556396
@@ Property / cites work: Q5556396 / rank @@
+Normal rank