Completeness and Correspondence in Chellas–Segerberg Semantics

Studia Logica 102 (4):891-911 (2014)
Download Edit this record How to cite View on PhilPapers
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
ISBN(s)
PhilPapers/Archive ID
UNTCAC
Upload history
First archival date: 2015-11-21
Latest version: 4 (2015-11-21)
View other versions
Added to PP index
2013-09-18

Total views
235 ( #19,146 of 51,431 )

Recent downloads (6 months)
19 ( #28,587 of 51,431 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.