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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

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

A new modal language with the λ operator.Ermanno Bencivenga & Peter W. Woodruff - 1981 - Studia Logica 40 (4):383 - 389.
Logic for Philosophers. [REVIEW]G. N. T. - 1971 - Review of Metaphysics 25 (2):365-365.
Deontic, Epistemic, and Temporal Modal Logics.Risto Hilpinen - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 491–509.
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. [REVIEW]José Miguel Blanco - forthcoming - Logic and Logical Philosophy:75-104.
William L. Harper. A sketch of some recent developments in the theory of conditionals. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 3–38. - Robert C. Stalnaker. A theory of conditionals. A reprint of XLVII 470. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 41–55. - David Lewis. Counterfactuals and comparative possibility. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrec. [REVIEW]Barry Loewer - 1984 - Journal of Symbolic Logic 49 (4):1411-1413.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
Thomason S. K.. Noncompactness in propositional modal logic.R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.

Analytics

Added to PP
2009-01-28

Downloads
46 (#482,869)

6 months
10 (#415,916)

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.
Some completeness results for modal predicate calculi.Richmond H. Thomason - 1980 - In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 56--76.

Add more references