From input/output logics to conditional logics via sequents -- with provers
From MaRDI portal
Publication:2142070
DOI10.1007/978-3-030-86059-2_9OpenAlexW3198039780MaRDI QIDQ2142070
Publication date: 25 May 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_9
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonmonotonic reasoning, preferential models and cumulative logics
- Permission from an input/output perspective
- Input/output logics
- On the complexity of input/output logic
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- lean\(T^ AP\): Lean tableau-based deduction
- Nested sequent calculi for normal conditional logics
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
- Sequent Systems for Lewis’ Conditional Logics
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- Cut Elimination for Shallow Modal Logics
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics
- A Standard Internal Calculus for Lewis’ Counterfactual Logics
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- Modularisation of Sequent Calculi for Normal and Non-normal Modalities
- Intuitionistic Basis for Input/Output Logic
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
- Automated Reasoning with Analytic Tableaux and Related Methods
- Sequent calculi for propositional nonmonotonic logics
- Generic Modal Cut Elimination Applied to Conditional Logics
This page was built for publication: From input/output logics to conditional logics via sequents -- with provers
