- 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
Formalization of Counterfactual Inference by Dynamic Logic
Kagaku Tetsugaku 45 (1):17-33 (2012)
Abstract
This article has no associated abstract. (fix it)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
A dynamic characterization of the pure logic of relevant implication.Diderik Batens - 2001 - Journal of Philosophical Logic 30 (3):267-280.
Beyond Language: Using Logic to Introduce New Philosophical Distinctions.Sven Ove Hansson - 2013 - Frontiers of Philosophy in China 8 (3):498-506.
Formalization of a plausible inference.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (1):41--52.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
Gestalt effects in abductive and counterfactual inference.C. Pizzi - 2006 - Logic Journal of the IGPL 14 (2):257-269.
Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.
Predicate logic with flexibly binding operators and natural language semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Analytics
Added to PP
2014-01-15
Downloads
19 (#717,158)
6 months
2 (#889,309)
2014-01-15
Downloads
19 (#717,158)
6 months
2 (#889,309)
Historical graph of downloads
Citations of this work
From Counterfactual Conditionals to Temporal Conditionals.Yuichiro Hosokawa - 2023 - Journal of Logic, Language and Information 32 (4):677-706.
References found in this work
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Brandom - 1994 - Cambridge, Mass.: Harvard University Press.
A Theory of Conditionals.Robert Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory (American Philosophical Quarterly Monographs 2). Oxford: Blackwell. pp. 98-112.
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-67c5d994d4-h99d7 uwo