Uniform labelled calculi for conditional and counterfactual logics

DOI10.1007/978-3-662-59533-6_16OpenAlexW2952187885MaRDI QIDQ2303592

Giorgio Sbardolini, Sara Negri, Marianna Girlando

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_16

zbMATH Keywords

proof theorycounterfactual logicsconditional logicspreferential modelslabelled calculi

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

On counting propositional logic and Wagner's hierarchy

This page was built for publication: Uniform labelled calculi for conditional and counterfactual logics