Natural deduction calculi and sequent calculi for counterfactual logics
type: Item
instance of: scholarly article
title: Natural deduction calculi and sequent calculi for counterfactual logics
zbMATH Open document ID: 1417.03286
author: Francesca Poggiolesi
published in: Studia Logica
publication date: 2016-10-27T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6644700
zbMATH Keywords: natural deduction calculus
zbMATH Keywords: sequent calculus
zbMATH Keywords: normalization
zbMATH Keywords: counterfactual logics
MaRDI profile type: Publication
full work available at URL: s11225-016-9662-3
OpenAlex ID: W2280276996
cites work: Nested sequent calculi for normal conditional logics
cites work: Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
cites work: Q3509048
cites work: Basic conditional logic
cites work: A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
cites work: Natural deduction, hybrid systems and modal logics
cites work: Q4789444
cites work: Q3900019
cites work: A Standard Internal Calculus for Lewis’ Counterfactual Logics
cites work: A sequent calculus and a theorem prover for standard conditional logics
cites work: Generic Modal Cut Elimination Applied to Conditional Logics
cites work: The Method of Tree-Hypersequents for Modal Propositional Logic
cites work: Gentzen calculi for modal propositional logic
cites work: Q5559220
cites work: Q5457387
cites work: Q5635429
cites work: Q4716271
DOI: 10.1007/S11225-016-9662-3
description: scientific article; zbMATH DE number 6644700