Completeness and Correspondence in Chellas–Segerberg Semantics

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

Total views
270 ( #24,505 of 64,068 )

Recent downloads (6 months)
9 ( #50,003 of 64,068 )

How can I increase my downloads?

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