Through an Inference Rule, Darkly

DOI10.1007/978-3-030-20447-1_10zbMath1469.03158OpenAlexW2982279622MaRDI QIDQ3305631

Roman Kuznets

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_10

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hypersequent rules with restricted contexts for propositional modal logics
• Prefixed tableaus and nested sequents
• The Lyndon property and uniform interpolation over the Grzegorczyk logic
• Modal interpolation via nested sequents
• Proof analysis in intermediate logics
• An interpolation theorem in the predicate calculus
• Proof analysis in modal logic
• Gentzen calculi for modal propositional logic
• The many faces of interpolation
• Proof methods for modal and intuitionistic logics
• 2-sequent calculus: A proof theory of modalities
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Cut-free sequent calculi for some tense logics
• Indexed systems of sequents and cut-elimination
• Multicomponent proof-theoretic method for proving interpolation properties
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Nested sequents for intuitionistic logics
• Tableau methods of proof for modal logics
• Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
• Proof Analysis
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• The Proof Theory of Common Knowledge
• Linear Nested Sequents, 2-Sequents and Hypersequents
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• A constructive analysis of RM
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
• Grafting hypersequents onto nested sequents
• Hypersequent Calculi for Godel Logics -- a Survey
• Strongly analytic tableaux for normal modal logics
• Craig Interpolation via Hypersequents
• From Frame Properties to Hypersequent Rules in Modal Logics
• Interpolation Method for Multicomponent Sequent Calculi
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• 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

This page was built for publication: Through an Inference Rule, Darkly