Nested sequent calculi for conditional logics

DOI10.1007/978-3-642-33353-8_2MaRDI QIDQ2915054zbMATH OpenOpenAlexFDO

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

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33353-8_2

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Structure of proofs (03F07)

Recommendations

• Nested sequent calculi for normal conditional logics
• Sequentialising nested systems
• NESCOND: an implementation of nested sequent calculi for conditional logics
• Proof search in nested sequent calculi
• A sequent calculus and a theorem prover for standard conditional logics

Cites work

• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• A sequent calculus and a theorem prover for standard conditional logics
• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Conditional logics of normality: A modal approach
• Counterfactuals
• Deep sequent systems for modal logic
• Dynamic interactive epistemology
• Generic modal cut elimination applied to conditional logics
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• Nested sequent calculi for normal conditional logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• Optimal tableaux for conditional logics with cautious monotonicity
• Prefixed tableaus and nested sequents
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• The logic of conditional doxastic actions
• Updates and counterfactuals
• Weak AGM postulates and strong Ramsey test: A logical formalization

Cited in

(15)

• Sequent Systems for Lewis’ Conditional Logics
• Nested sequent calculi for normal conditional logics
• scientific article; zbMATH DE number 5917724 (Why is no real title available?)
• Focused and Synthetic Nested Sequents
• Grafting hypersequents onto nested sequents
• NESCOND: an implementation of nested sequent calculi for conditional logics
• From input/output logics to conditional logics via sequents -- with provers
• Nested sequents for intuitionistic modal logics via structural refinement
• Nested expressions in logic programs
• A proof-theoretic view of basic intuitionistic conditional logic
• The principle of reflection via nested sequents
• Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
• Proving completeness for nested sequent calculi
• scientific article; zbMATH DE number 6302922 (Why is no real title available?)
• scientific article; zbMATH DE number 7668098 (Why is no real title available?)

Describes a project that uses

Uses Software

• CoLoSS

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

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