Nested sequent calculi for normal conditional logics

DOI10.1093/LOGCOM/EXT034MaRDI QIDQ2804318zbMATH OpenOpenAlexFDO

Authors Régis Alenda, N. Olivetti, G. L. Pozzato

Publication date 28 April 2016

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/18c2848d930cfd704fec82fceeb686932ab564ea

zbMATH Keywords

nonmonotonic reasoningnonclassical logicssequent calculiproof methodsconditional logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Nested sequent calculi for conditional logics
• NESCOND: an implementation of nested sequent calculi for conditional logics
• Nested sequents for the logic of conditional belief
• Nested sequents for intuitionistic logics
• Sequent Calculi for Normal Modal Propositional Logics
• On nested sequents for constructive modal logics
• A sequent calculus and a theorem prover for standard conditional logics
• Nested sequents for intuitionistic modal logics via structural refinement
• Sequent calculi for propositional nonmonotonic logics
• Sequent calculi for normal update logics

Cited in

(16)

• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• scientific article; zbMATH DE number 5917724 (Why is no real title available?)
• NESCOND: an implementation of nested sequent calculi for conditional logics
• From input/output logics to conditional logics via sequents -- with provers
• Standard sequent calculi for Lewis' logics of counterfactuals
• Nested expressions in logic programs
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Combining monotone and normal modal logic in nested sequents -- with countermodels
• Natural deduction calculi and sequent calculi for counterfactual logics
• scientific article; zbMATH DE number 6987093 (Why is no real title available?)
• Nested sequent calculi for conditional logics
• Proving completeness for nested sequent calculi
• scientific article; zbMATH DE number 6302922 (Why is no real title available?)
• Proof search in nested sequent calculi

This page was built for publication: Nested sequent calculi for normal conditional logics

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