Natural deduction calculi and sequent calculi for counterfactual logics

DOI10.1007/S11225-016-9662-3zbMath1417.03286OpenAlexW2280276996MaRDI QIDQ332082

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

sequent calculusnormalizationcounterfactual logicsnatural deduction calculus

Mathematics Subject Classification ID

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

Related Items (2)

Mechanising Gödel-Löb provability logic in HOL light ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction, hybrid systems and modal logics
• Gentzen calculi for modal propositional logic
• 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
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• A sequent calculus and a theorem prover for standard conditional logics
• Generic Modal Cut Elimination Applied to Conditional Logics

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