Nested Sequent Calculi for Conditional Logics

DOI10.1007/978-3-642-33353-8_2zbMath1361.68213OpenAlexW178446973MaRDI QIDQ2915054

Nicola Olivetti, Régis Alenda, Gian Luca 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)

Uses Software

• CoLoSS

Cites Work

• Unnamed Item
• Unnamed Item
• Prefixed tableaus and nested sequents
• Deep sequent systems for modal logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• Conditional logics of normality: A modal approach
• Dynamic interactive epistemology
• Weak AGM postulates and strong Ramsey test: A logical formalization
• Nested sequent calculi for normal conditional logics
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Tableau calculus for preference-based conditional logics
• Optimal Tableaux for Conditional Logics with Cautious Monotonicity
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• Updates and counterfactuals
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• A sequent calculus and a theorem prover for standard conditional logics
• Generic Modal Cut Elimination Applied to Conditional Logics
• Counterfactuals

This page was built for publication: Nested Sequent Calculi for Conditional Logics