Mental models and tableau logic

Behavioral and Brain Sciences 16 (2):334-334 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0140525x00030272

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Model Generation from Constrained Free Variable.Jan van Eijck - unknown
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
The role of models in mind and science.Marion Vorms & David Lagnado - unknown
Discussion de-focusing on the Wason selection task: Mental models or mental inference rules? A commentary on green and larking (1995).David K. Hardman - 1998 - Thinking and Reasoning 4 (1):83 – 94.
Higher-order automated theorem proving.Michael Kohlhase - unknown
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
HyLoTab — Tableau-based Theorem Proving for Hybrid Logics.Jan van Eijck - unknown
Mental models cannot exclude mental logic and make little sense without it.Martin D. S. Braine - 1993 - Behavioral and Brain Sciences 16 (2):338-339.

Analytics

Added to PP
2014-01-20

Downloads
31 (#507,725)

6 months
10 (#256,916)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What reasoning might be.Markos Valaris - 2017 - Synthese 194 (6).
Inference and the structure of concepts.Matías Osta Vélez - 2020 - Dissertation, Ludwig Maximilians Universität, München

Add more citations

References found in this work

The Language of Thought.Jerry A. Fodor - 1975 - Harvard University Press.
Aspects of the Theory of Syntax.Noam Chomsky - 1965 - Cambridge, MA, USA: MIT Press.
The logic of scientific discovery.Karl Raimund Popper - 1934 - New York: Routledge. Edited by Hutchinson Publishing Group.
Fact, Fiction, and Forecast.Nelson Goodman - 1965 - Cambridge, Mass.: Harvard University Press.

View all 134 references / Add more references