Formal approaches to practical reasoning: A survey

Studies in Logic and Practical Reasoning

Volumn 1, Issue C, 2002, Pages 449-481

  Gabbay, Dov M ^a   Woods, John ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956691500     PISSN: 15702464     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-2464(02)80013-1     Document Type: Article

References (34)

1. Anderson A.R., and Belnap Jr. N.D. Entailment: The Logic of Relevance and Necessity volume 1 (1975), Princeton University Press, Princeton, NJ
2. Aliseda-LLera A. Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence (1997), Institute for Logic, Language and Computation, Amsterdam
3. Gabbay D.M. Elementary Logic: A Procedural Perspective (1998), Prentice-Hall
4. Gabbay D.M. Fibring Logics (1998), Oxford University Press
5. Gabbay D.M., and Hunter A. Making inconsistency respectable part 2: meta-level, handling of inconsistency. LNCS 747 (1993), Springer-Verlag, Berlin
6. Gabbay D.M., and Kempson R. Natural language content: A proof theoretic perspective. Proceedings of the Eighth Amsterdam Colloquium (1991) 173-196
7. Gabbay D.M., and Olivetti N. Goal Directed Proof Theory (2000), Kluwer
8. Gabbay D.M., and Reyle U. N-prolog, an extension of prolog with hypothetical implication. Journal of Logic Programming 4 (1984) 319-355
9. Gabbay D.M., and Woods J. Cooperate with your logic ancestors. Journal of Logic, Language and Information 8 (1999)
10. Gabbay D.M., and Woods J. Non-cooperation in dialogue logic. Synthese (2000)
11. Gabbay D.M., and Woods J. More on non-cooperation logic. Logic Journal of the IGPL 9 (2000) 321-339
12. To appear. Gabbay D.M., and Woods J. Agenda Relevance: A Study in Formal Pragmatics (2001)
13. To appear. Gabbay D.M., and Woods J. The Reach of Abduction (2002)
14. Gabbay D.M. N-prolog, part ii. Journal of Logic Programming 5 (1985) 251-283
15. Gabbay D.M. Editorial. Journal of Logic and Computation (1990)
16. Gabbay D.M. What is a Logical System? (1994), Oxford University Press, Oxford
17. Gabbay D.M. Labelled Deductive Systems (1996), Oxford University Press, Oxford
18. Gabbay D.M. What is a logical system II?. SEP Proceedings Volume 1 (2000), Hermes Science, Oxford 81-104
19. Kaplan M. Decision Theory as Philosophy (1996), Cambridge University Press, Cambridge
20. Keynes J.M. A Treatise on Probability (1921), Macmillan, London
21. Olivetti N., and Terracini L. N-prolog and equivalence of logic programs. Journal of Logic, Language and Information 1 (1992) 253-340
22. Pearl J. Probabalistic Reasoning in Intelligent Systems: Networks of Plausible Inference (1988), Morgan Kaufmann, San Mateo, CA
23. Pearl J. Causality: Models, Reasoning and Inference (2000), Cambridge University Press, Cambridge
24. Benthem J.v. Exploring Logical Dynamics (1996), CSLI Publications, Stanford
25. Benthem J.v. Resetting the bounds of logic. European Review of Philosophy 4 (1999) 21-44
26. van Eemeren, and Grootendorst. Speech Acts in Argumentative Discourse (1983), Foris Publication, Dordrecht
27. reprinted in. Woods J., and Walton D. On fallacies. Journal of Critical Analysis 5 (1972) 103-111
28. Woods J., and Walton D. Fallacies: Selected Papers 1972-1982 (1989), Foris Publications, Dordrecht and Providence, RI 1-10
29. Woods J., and Walton D. Fallacies: Selected Papers 1972-1982 (1989), Foris de Gruyter, Berlin and New York
30. Woods J. Hasty generalization. Proceedings of the World Congress of Philosophy (1999), Philosophy Documentation Center, Boston
31. Woods J. Death of Argument: Fallacies and Other Distractions (2001), Vale Press, Newport Beach
32. Woods J. Aristotle's Earlier Logic (2001), Hermes Science Publications, Oxford
33. In press. Woods J. Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences (2001), Cambridge University Press, Cambridge
34. To appear. Woods J. John Locke. Argumentation (2002)