Completeness and Correspondence in Chellas–Segerberg Semantics

Studia Logica 102 (4):891-911 (2014)
  Copy   BIBTEX


We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles

Author Profiles

Matthias Unterhuber
Heinrich Heine University Düsseldorf
Gerhard Schurz
Heinrich Heine University Düsseldorf


Added to PP

615 (#21,983)

6 months
212 (#9,212)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?