Uniform labelled calculi for conditional and counterfactual logics

DOI10.1007/978-3-662-59533-6_16MaRDI QIDQ2303592zbMATH OpenOpenAlexFDO

Authors Marianna Girlando, Sara Negri, Giorgio Sbardolini

Publication date 4 March 2020

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

zbMATH Keywords

conditional logicscounterfactual logicslabelled calculipreferential modelsproof theory

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
• Standard sequent calculi for Lewis' logics of counterfactuals
• scientific article; zbMATH DE number 7084838
• Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
• Proof analysis for Lewis counterfactuals

Cited in

(11)

• Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
• Existential Label Flow Inference Via CFL Reachability
• scientific article; zbMATH DE number 7084838 (Why is no real title available?)
• Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
• On counting propositional logic and Wagner's hierarchy
• The algebras of Lewis's counterfactuals: duality theory
• GL-based calculi for PCL and its deontic cousin
• Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
• The algebras of Lewis's counterfactuals: axiomatizations and algebraizability
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
• Sub-sub-intuitionistic logic

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

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