- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Quick completeness proofs for some logics of conditionals
Notre Dame Journal of Formal Logic 22 (1):76-84 (1981)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Quick triviality proofs for probabilities of conditionals.Peter Milne - 1997 - Analysis 57 (1):75–80.
New techniques and completeness results for preferential structures.Karl Schlechta - 2000 - Journal of Symbolic Logic 65 (2):719-746.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Remarks on Gregory's “actually” operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
Completeness and decidability of three logics of counterfactual conditionals.David Lewis - 1971 - Theoria 37 (1):74-85.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Dialogue sequents and quick proofs of completeness.Eric C. W. Krabbe - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
The completeness of some modal logics with circumstantials, subjunctive conditionals, transworld identity and dispositional predicates.Lennart Åqvist - 1971 - [Uppsala,: Uppsala universitet].
Conditionals and consequences.Gregory Wheeler, Henry E. Kyburg & Choh Man Teng - 2007 - Journal of Applied Logic 5 (4):638-650.
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
Analytics
Added to PP
2010-08-24
Downloads
106 (#165,623)
6 months
13 (#194,844)
2010-08-24
Downloads
106 (#165,623)
6 months
13 (#194,844)
Historical graph of downloads
Author's Profile
Citations of this work
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
Difference-making conditionals and the relevant Ramsey test.Hans Rott - 2022 - Review of Symbolic Logic 15 (1):133-164.
Partition and revision: The semantics of counterfactuals.Angelika Kratzer - 1981 - Journal of Philosophical Logic 10 (2):201 - 216.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-pjbg5 uwo