Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
From MaRDI portal
Publication:1694457
DOI10.1007/978-3-319-66902-1_8zbMath1497.03037OpenAlexW2752317339MaRDI QIDQ1694457
Björn Lellmann, Marianna Girlando, Gian Luca Pozzato, Nicola Olivetti
Publication date: 2 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_8
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication: Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity