Generic modal cut elimination applied to conditional logics

DOI10.2168/LMCS-7(1:4)2011MaRDI QIDQ5892512zbMATH OpenOpenAlexFDO

Authors Dirk Pattinson, Lutz Schröder

Publication date 26 May 2011

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-7(1:4)2011

zbMATH Keywords

proof theorymodal logiccut eliminationconditional logicconditional implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Generic Modal Cut Elimination Applied to Conditional Logics
• Cut elimination for shallow modal logics
• Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
• Modular Cut-Elimination: Finding Proofs or Counterexamples
• Cut elimination in coalgebraic logics

Cited in

(23)

• Sequent Systems for Lewis’ Conditional Logics
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Generic Modal Cut Elimination Applied to Conditional Logics
• Cut-elimination for quantified conditional logic
• Cut elimination theorems and a canonical model construction for some implicational substructural logics
• Admissibility of cut in congruent modal logics
• From input/output logics to conditional logics via sequents -- with provers
• Standard sequent calculi for Lewis' logics of counterfactuals
• Modular Cut-Elimination: Finding Proofs or Counterexamples
• Proof theory of Riesz spaces and modal Riesz spaces
• Cut Might Cautiously
• scientific article; zbMATH DE number 67452 (Why is no real title available?)
• Natural deduction calculi and sequent calculi for counterfactual logics
• A proof-theoretic view of basic intuitionistic conditional logic
• Cut elimination for shallow modal logics
• Simple cut elimination proof for hybrid logic
• Cut elimination in coalgebraic logics
• Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
• Uniform Lyndon interpolation for basic non-normal modal and conditional logics
• Nested sequent calculi for conditional logics
• Some analytic systems of rules
• Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic

Describes a project that uses

Uses Software

• CoLoSS

This page was built for publication: Generic modal cut elimination applied to conditional logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892512)