A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems

Journal of Philosophical Logic 3 (4):373 - 379 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00257481

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Conditional logic and the significance of Tooleys example.Charles B. Cross - 2006 - Analysis 66 (4):325–335.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
A new modal language with the λ operator.Ermanno Bencivenga & Peter W. Woodruff - 1981 - Studia Logica 40 (4):383 - 389.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Modal pure type systems.Tijn Borghuis - 1998 - Journal of Logic, Language and Information 7 (3):265-296.
Notes on conditional logic.Krister Segerberg - 1989 - Studia Logica 48 (2):157 - 168.
A first approach to abstract modal logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
A semantic analysis of conditional logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.

Analytics

Added to PP
2009-01-28

Downloads
33 (#472,429)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William L. Harper
University of Western Ontario

Citations of this work

No citations found.

Add more citations

References found in this work

Probability and conditionals.Robert C. Stalnaker - 1970 - Philosophy of Science 37 (1):64-80.

Add more references