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

Similar books and articles

Modal logics with the MacIntosh rule.Brian F. Chellas & Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (1):67 - 86.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
On S.André Fuhrmann & Edwin D. Mares - 1994 - Studia Logica 53 (1):75 - 91.
Grafted frames and S1 -completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
Notes on conditional logic.Krister Segerberg - 1989 - Studia Logica 48 (2):157 - 168.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.

Analytics

Added to PP
2013-09-18

Downloads
725 (#23,286)

6 months
158 (#21,923)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York
Philosophy of Science in Germany, 1992–2012: Survey-Based Overview and Quantitative Analysis.Matthias Unterhuber, Alexander Gebharter & Gerhard Schurz - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (1):71-160.

View all 6 citations / Add more citations

References found in this work

The logic of conditionals.Ernest Adams - 1965 - Inquiry: An Interdisciplinary Journal of Philosophy 8 (1-4):166 – 197.
The Logic of Conditionals.Ernest Adams, Ernest W. Adams, Jaakko Hintikka & Patrick Suppes - 1965 - Journal of Symbolic Logic 39 (3):609-611.

View all 22 references / Add more references