Nested sequent calculi for normal conditional logics
From MaRDI portal
Publication:2804318
DOI10.1093/LOGCOM/EXT034zbMATH Open1444.03102OpenAlexW4298044394MaRDI QIDQ2804318FDOQ2804318
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
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
Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)
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
- Title not available (Why is that?)
- NESCOND: an implementation of nested sequent calculi for conditional logics
- Standard sequent calculi for Lewis' logics of counterfactuals
- From input/output logics to conditional logics via sequents -- with provers
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Nested expressions in logic programs
- 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
- Title not available (Why is that?)
- Proving completeness for nested sequent calculi
- Nested sequent calculi for conditional logics
- Title not available (Why is that?)
- 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)
