Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

DOI10.1093/LOGCOM/EXAB019MaRDI QIDQ3382812zbMATH OpenOpenAlexFDO

Authors Marianna Girlando, Sara Negri, N. Olivetti

Publication date 22 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.05958

zbMATH Keywords

labelled sequent calculusneighbourhood semanticspreferential conditional logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Uniform labelled calculi for conditional and counterfactual logics
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• Tableau calculi for preference-based conditional logics
• scientific article; zbMATH DE number 6863652

Cited in

(7)

• Uniform labelled calculi for conditional and counterfactual logics
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Counterfactuals as modal conditionals, and their probability
• GL-based calculi for PCL and its deontic cousin
• Modular sequent calculi for interpretability logics
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
• A proof-theoretic approach to formal epistemology

This page was built for publication: Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

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