Deductive temporal reasoning with constraints

, , &
Journal of Applied Logic 11 (1):30-51 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.07.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

Deductive Reasoning.Joshua Schechter - 2013 - In Hal Pashler (ed.), The Encyclopedia of the Mind. SAGE Reference.
Differential involvement of left prefrontal cortexin inductive and deductive reasoning.V. Goel - 2004 - Cognition 93 (3):B109-B121.
Intuitions for inferences.Sinan Dogramaci - 2012 - Philosophical Studies 165 (2):371-399.
Further examination of mediated associations in deductive reasoning.James J. Roberge - 1971 - Journal of Experimental Psychology 87 (1):127.
Reasoning about actions in dynamic linear time temporal logic.L. Giordano, A. Martelli & C. Schwind - 2001 - Logic Journal of the IGPL 9 (2):273-288.
Formal aspects of Legal reasoning.A. Soeteman - 1995 - Argumentation 9 (5):731-746.
The Metaphoric Fallacy to a Deductive Inference.Michael P. Berman & Brian A. Lightbody - 2010 - Informal Logic 30 (2):185-193.
Logic and analyticity.Tyler Burge - 2003 - Grazer Philosophische Studien 66 (1):199-249.
The Metaphoric Fallacy to a Deductive Inference.Brian Lightbody & Berman Michael - 2010 - Informal Logic: Reasoning and Argumentation in Theory and Practice 30 (2):185-193.
Deductive and inductive conditional inferences: Two modes of reasoning.Henrik Singmann & Karl Christoph Klauer - 2011 - Thinking and Reasoning 17 (3):247-281.
How (Not) to Justify Induction.Dale Jacquette - 2011 - Kriterion - Journal of Philosophy 24 (1):1-18.
Deductive Reasoning in the Structuralist Approach.Holger Andreas - 2013 - Studia Logica 101 (5):1093-1113.
Deductive Reasoning Under Uncertainty: A Water Tank Analogy.Guy Politzer - 2016 - Erkenntnis 81 (3):479-506.
Deduction and induction: Reasoning through mental models. [REVIEW]Bruno G. Bara & Monica Bucciarelli - 2000 - Mind and Society 1 (1):95-107.
Within Reason: A Guide to Non-Deductive Reasoning.John W. Burbidge - 1990 - Peterborough, Ontario, Canada: Broadview Press.

Analytics

Added to PP
2016-06-30

Downloads
16 (#911,799)

6 months
10 (#277,276)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The tableau method for temporal logic: An overview.Pierre Wolper - 1985 - Logique Et Analyse 28 (110-111):119-136.
The Sat Phase Transition.Ian Philip Gent & Toby Walsh - 1994 - Department of Artificial Intelligence, University of Edinburgh.

Add more references