The evaluation of the consistency of quantified assertions

[1]  Sangeet Khemlani,et al.  The processes of inference , 2013, Argument Comput..

[2]  Jean-François Bonnefon,et al.  Formal Models of Reasoning in Cognitive Psychology , 2013, Argument Comput..

[3]  P. Johnson-Laird,et al.  Negation: A theory of its meaning, representation, and use , 2012 .

[4]  P. Johnson-Laird,et al.  Theories of the syllogism: A meta-analysis. , 2012, Psychological bulletin.

[5]  Panagiotis G. Ipeirotis,et al.  Running Experiments on Amazon Mechanical Turk , 2010, Judgment and Decision Making.

[6]  Nick Chater,et al.  Cognition and Conditionals: Probability and Logic in Human Thinking , 2010 .

[7]  K. Oberauer,et al.  Towards a reconciliation of mental model theory and probabilistic theories , 2010 .

[8]  N. Chater,et al.  Conditional inference and constraint satisfaction: Reconciling mental models and the probabilistic approach? , 2010 .

[9]  N. Chater,et al.  Précis of Bayesian Rationality: The Probabilistic Approach to Human Reasoning , 2009, Behavioral and Brain Sciences.

[10]  P. Johnson-Laird,et al.  Preferred mental models in reasoning about spatial relations , 2007, Memory & cognition.

[11]  Marco Ragni,et al.  Cross-Cultural Similarities in Topological Reasoning , 2007, COSIT.

[12]  P. Johnson-Laird How We Reason , 2006 .

[13]  Marco Ragni,et al.  Preferred Mental Models: How and Why They Are So Important in Human Reasoning with Spatial Relations , 2006, Spatial Cognition.

[14]  Cornelius Hagen,et al.  Preferred and Alternative Mental Models in Spatial Reasoning , 2005, Spatial Cogn. Comput..

[15]  André Vandierendonck,et al.  Mental model construction in linear reasoning: Evidence for the construction of initial annotated models , 2004, The Quarterly journal of experimental psychology. A, Human experimental psychology.

[16]  M. Ragni,et al.  An Arrangement Calculus, Its Complexity and Algorithmic Properties , 2003, KI.

[17]  Mark T. Keane,et al.  Conditionals: a theory of meaning, pragmatics, and inference. , 2002, Psychological review.

[18]  P N Johnson-Laird,et al.  Illusions in reasoning about consistency. , 2000, Science.

[19]  P. Johnson-Laird,et al.  Strategies in syllogistic reasoning , 1999, Cogn. Sci..

[20]  Christoph Schlieder,et al.  Präferierte mentale Modelle beim räumlich-relationalen Schließen: Empirie und kognitive Modellierung , 1996, Kognitionswissenschaft.

[21]  S. Newstead Gricean Implicatures and Syllogistic Reasoning , 1995 .

[22]  L. Rips The Psychology of Proof: Deductive Reasoning in Human Thinking , 1994 .

[23]  P. Johnson-Laird,et al.  PSYCHOLOGICAL SCIENCE Research Article HOW DIAGRAMS CAN IMPROVE REASONING , 2022 .

[24]  J. Barwise Everyday reasoning and logical inference , 1993 .

[25]  A. Avramides Studies in the Way of Words , 1992 .

[26]  Philip N. Johnson-Laird,et al.  Reasoning by model: The case of multiple quantification. , 1989 .

[27]  D. Over,et al.  Studies in the Way of Words , 1989 .

[28]  P. Johnson-Laird,et al.  Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness , 1985 .

[29]  R. Jeffrey Formal Logic: Its Scope and Limits , 1981 .

[30]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[31]  Bernhard Nebel,et al.  Spatial Cognition IV, Reasoning, Action, Interaction , 2008 .

[32]  Marco Ragni,et al.  Negation in Spatial Reasoning A Computational Approach , 2007 .

[33]  Bernhard Nebel,et al.  A Computational Model for Spatial Reasoning with Mental Models , 2005 .

[34]  Johanna D. Moore,et al.  Proceedings of the 28th Annual Conference of the Cognitive Science Society , 2005 .

[35]  R. Montague,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1996 .

[36]  M. Knauff,et al.  Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus , 1995 .

[37]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[38]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[39]  T. G.,et al.  Collected Papers of Charles Sanders Peirce , 1933, Nature.

[40]  David S. Johnson,et al.  The NP-Completeness Column: An Ongoing Guide , 1982, J. Algorithms.

[41]  P. Johnson-Laird,et al.  Illusions in Reasoning about Consistency , 2022 .