Natural deduction calculi and sequent calculi for counterfactual logics

DOI10.1007/S11225-016-9662-3MaRDI QIDQ332082zbMATH OpenOpenAlexFDO

Authors Francesca Poggiolesi

Publication date 27 October 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-016-9662-3

zbMATH Keywords

normalizationsequent calculuscounterfactual logicsnatural deduction calculus

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Standard sequent calculi for Lewis' logics of counterfactuals
• scientific article; zbMATH DE number 7084838
• Proof analysis for Lewis counterfactuals
• A system of proof for Lewis counterfactual
• scientific article; zbMATH DE number 1241666

Cites work

• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 1852914 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3361858 (Why is no real title available?)
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• A sequent calculus and a theorem prover for standard conditional logics
• A standard internal calculus for Lewis' counterfactual logics
• Basic conditional logic
• Deep sequent systems for modal logic
• Generic modal cut elimination applied to conditional logics
• Gentzen calculi for modal propositional logic
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• Natural deduction, hybrid systems and modal logics
• Nested sequent calculi for normal conditional logics
• The Method of Tree-Hypersequents for Modal Propositional Logic

Cited in

(6)

• A system of proof for Lewis counterfactual
• Standard sequent calculi for Lewis' logics of counterfactuals
• Counterfactuals
• Counterfactual assumptions and counterfactual implications
• On the duality of proofs and countermodels in labelled sequent calculi
• Mechanising Gödel-Löb provability logic in HOL light

This page was built for publication: Natural deduction calculi and sequent calculi for counterfactual logics

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