Completeness and Correspondence in Chellas–Segerberg Semantics

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

Abstract

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

Analytics

Added to PP
2013-09-18

Downloads
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?