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.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Price includes VAT (USA)
Tax calculation will be finalised during checkout.
Adams E. W.: The logic of conditionals. Inquiry 8, 166–197 (1965)
Adams E. W.: On the logic of high probability. Journal of Philosophical Logic 15, 255–279 (1986)
Arló-Costa H.: Bayesian epistemology and epistemic conditionals.On the status of the export–import laws. The Journal of Philosophy 98, 555–593 (2001)
Blackburn, P., M. de Rijke., and Y. Venema, Modal logic, Cambridge University Press, Cambridge, 2001.
Chellas B. F.: Basic conditional logic. Journal of Philosophical Logic 4, 133–153 (1975)
Fine, K., and G. Schurz, Transfer theorems for multimodal logics, in B. J. Copeland (ed.), Logic and reality. Essays on the legacy of Arthur Prior, Clarendon Press, Oxford, 1996, pp. 169–213.
Gabbay, D. M., A. Kurucz, F. Wolter., and M. Zakharyaschev, Many-dimensional modal logics. Theory and applications, Elsevier, Amsterdam, 2003.
Hawthorne, J., A primer on rational consequence relations, Popper functions, and their ranked structures, Studia Logica 102, 2014, this issue.
Hughes, G. E., and M. J. Cresswell, A companion to modal logic, Methuen, London, 1984.
Kraus S., Lehmann D., Magidor M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)
Leahy, B., E. Rafetseder., and J. Perner, Basic conditional reasoning: how children mimic counterfactual reasoning, Studia Logica 102, 2014, this issue.
Lehmann, D., and M. Magidor, What does a conditional knowledge base entail?, Artificial Intelligence 55:1–60, 1992.
Lewis, D., Counterfactuals, Blackwell, Oxford, 1973.
McGee V.: Conditional probabilities and compounds of conditionals. The Philosophical Review 98, 485–541 (1989)
Nute, D., and C. B. Cross, Conditional logic, in D. M. Gabbay, and F. Guenthner (eds.), Handbook of philosophical logic, vol. 4, 2nd ed., Kluwer, Dordrecht, 2001, pp. 1–98.
Pfeifer N., Kleiter G. D.: Coherence and nonmonotonicity in human reasoning. Synthese 146, 93–109 (2005)
Priest, G., An Introduction to non-classical logic, 2nd ed., Cambridge University Press, Cambridge, 2008.
Schurz G.: Probabilistic semantics for Delgrande’s conditional logic and a counterexample to his default logic. Artificial Intelligence 102, 81–95 (1998)
Schurz G.: Non-monotonic reasoning from an evolution-theoretic perspective. Ontic, logical and cognitive foundations. Synthese 146, 37–51 (2005)
Schurz G., Thorn P. D.: Reward versus risk in uncertain inference. Theorems and simulations. The Review of Symbolic Logic 5, 574–612 (2012)
Segerberg K.: Notes on conditional logic. Studia Logica 48, 157–168 (1989)
Stalnaker, R. C., A theory of conditionals, in N. Rescher (ed.), Studies in Logical Theory, Basil Blackwell, Oxford, 1968, pp. 98–112.
Thorn, P. D., and G. Schurz, Logico-probabilistic inference in an indifferent environment, Studia Logica 102, 2014, this issue.
Unterhuber, M., Possible worlds semantics for indicative and counterfactual conditionals? A formal-philosophical inquiry into Chellas–Segerberg semantics, Ontos Verlag (Logos Series), Frankfurt am Main, 2013.
van Benthem, J., Correspondence theory, in D. M. Gabbay, and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 3, 2nd ed., Kluwer, Dordrecht, 2001, pp. 325–408.
About this article
Cite this article
Unterhuber, M., Schurz, G. Completeness and Correspondence in Chellas–Segerberg Semantics. Stud Logica 102, 891–911 (2014). https://doi.org/10.1007/s11225-013-9504-5
- Chellas–Segerberg Semantics
- Standard Segerberg Frame Completeness
- Non-trivial Frame Condition
- Conditional Logic