Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

This page was built for publication: Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity