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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-013-9504-5

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Intentions, actions and routines: A problem in Krister Segerberg's theory of action.Dag Elgesem - 1990 - Synthese 85 (1):153 - 177.
Notes on conditional logic.Krister Segerberg - 1989 - Studia Logica 48 (2):157 - 168.
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
The logic of historical necessity as founded on two-dimensional modal tense logic.Lennart Åqvist - 1999 - Journal of Philosophical Logic 28 (4):329-369.
Why we need a relevant theory of conditionals.Edwin D. Mares - 1994 - Topoi 13 (1):31-36.
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Some completeness theorems in the dynamic doxastic logic of iterated belief revision.Krister Segerberg - 2010 - Review of Symbolic Logic 3 (2):228-246.

Analytics

Added to PP
2013-09-18

Downloads
669 (#23,727)

6 months
174 (#15,442)

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