Natural deduction calculi and sequent calculi for counterfactual logics

DOI10.1007/S11225-016-9662-3zbMATH Open1417.03286OpenAlexW2280276996MaRDI QIDQ332082FDOQ332082

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Basic conditional logic
• Nested sequent calculi for normal conditional logics
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• A standard internal calculus for Lewis' counterfactual logics
• Deep sequent systems for modal logic
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• A sequent calculus and a theorem prover for standard conditional logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generic modal cut elimination applied to conditional logics
• Natural deduction, hybrid systems and modal logics
• Gentzen calculi 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)