Nested sequent calculi for normal conditional logics

DOI10.1093/LOGCOM/EXT034zbMath1444.03102OpenAlexW4298044394MaRDI QIDQ2804318

Nicola Olivetti, Régis Alenda, Gian Luca 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 reasoningsequent calculinonclassical logicsproof methodsconditional logics

Mathematics Subject Classification ID

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

Related Items (7)

From input/output logics to conditional logics via sequents -- with provers ⋮ A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Unnamed Item ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

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