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's Profile

Matthias Unterhuber
Heinrich Heine University Düsseldorf

Analytics

Added to PP
2013-09-18

Downloads
354 (#25,586)

6 months
62 (#19,332)

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?