- A Machine Program for Theorem-Proving.Martin Davis, George Logemann & Donald Loveland - 1967 - Journal of Symbolic Logic 32 (1):118-118.details
|
|
A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.details
|
|
The Modularity of Mind.Robert Cummins & Jerry Fodor - 1983 - Philosophical Review 94 (1):101.details
|
|
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
Epistemology in the Age of Neuroscience.Patricia Smith Churchland - 1987 - Journal of Philosophy 84 (10):544-553.details
|
|
Aspects of the Theory of Syntax.Noam Chomsky - 1965 - Cambridge, MA, USA: MIT Press.details
|
|
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
Set Theory With and Without Urelements and Categories of Interpretations.Benedikt Löwe - 2006 - Notre Dame Journal of Formal Logic 47 (1):83-91.details
|
|
Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Mathematical Logic Quarterly 3 (1‐5):30-68.details
|
|
Zur semantischen Analyse von Erscheinungssätzen bei Sellars.Holger Andreas - 2008 - Facta Philosophica 10 (1):269-283.details
|
|
New account of empirical claims in structuralism.Holger Andreas - 2010 - Synthese 176 (3):311 - 332.details
|
|
Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.Holger Andreas - 2018 - Journal of Philosophical Logic 47 (5):877-912.details
|
|
Deductive Reasoning in the Structuralist Approach.Holger Andreas - 2013 - Studia Logica 101 (5):1093-1113.details
|
|
Carnapian Structuralism.Holger Andreas - 2014 - Erkenntnis 79 (S8):1373-1391.details
|
|
A Structuralist Theory of Belief Revision.Holger Andreas - 2011 - Journal of Logic, Language and Information 20 (2):205-232.details
|
|
A modal view of the semantics of theoretical sentences.Holger Andreas - 2010 - Synthese 174 (3):367 - 383.details
|
|
A choice-semantical approach to theoretical truth.Holger Andreas & Georg Schiemer - 2016 - Studies in History and Philosophy of Science Part A 58:1-8.details
|
|
Partition-based logical reasoning for first-order and propositional theories.Eyal Amir & Sheila McIlraith - 2005 - Artificial Intelligence 162 (1-2):49-88.details
|
|
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.details
|
|
How We Reason.Philip Nicholas Johnson-Laird - 2006 - Oxford University Press.details
|
|
What is Justified Belief?Alvin I. Goldman - 1979 - In George Pappas (ed.), Justification and Knowledge: New Studies in Epistemology. Boston: D. Reidel. pp. 1-25.details
|
|
Introduction to Semantics.Rudolf Carnap - 1942 - Cambridge: Harvard University Press.details
|
|
Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.details
|
|
The Structure of Scientific Revolutions.Thomas Samuel Kuhn - 1962 - Chicago: University of Chicago Press. Edited by Otto Neurath.details
|
|
Hypothetical reasoning.Nicholas Rescher - 1964 - Amsterdam,: North-Holland Pub. Co..details
|
|
Human reasoning and cognitive science.Keith Stenning & Michiel van Lambalgen - 2008 - Boston, USA: MIT Press.details
|
|
Resource bounded belief revision.Renata Wassermann - 1999 - Erkenntnis 50 (2-3):429-446.details
|
|
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.details
|
|
Logic and reasoning: Do the facts matter?Johan van Benthem - 2008 - Studia Logica 88 (1):67-84.details
|
|
The Measurement of Ranks and the Laws of Iterated Contraction.Wolfgang Spohn & Matthias Hild - 2008 - Artificial Intelligence 172 (10):1195-1218.details
|
|
Evolutionary psychology and the massive modularity hypothesis.Richard Samuels - 1998 - British Journal for the Philosophy of Science 49 (4):575-602.details
|
|
A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.details
|
|
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.details
|
|
Metatheoretical Structuralism: a General Program for Analyzing Science. [REVIEW]C. U. Moulines - 2010 - Axiomathes 20 (2-3):255-268.details
|
|
Truth-value semantics.Hugues Leblanc - 1976 - New York: distributor, Elsevier/North-Holland.details
|
|
Knowledge in Flux.Henry E. Kyburg & Peter Gardenfors - 1993 - Noûs 27 (4):519-521.details
|
|
Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.details
|
|
Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.details
|
|
Nonmonotonic inference based on expectations.Peter Gärdenfors & David Makinson - 1994 - Artificial Intelligence 65 (2):197-245.details
|
|
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.details
|
|
Cognitive Science : An Introduction to the Science of the Mind.José Luis Bermúdez - 2010 - Cambridge University Press.details
|
|
Prolegomena to Dynamic Logic for Belief Revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.details
|
|
Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).details
|
|
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.details
|
|
The structure and dynamics of theories.Wolfgang Stegmüller - 1976 - New York: Springer Verlag.details
|
|
Nonmonotonic Reasoning: An Overview.Gerhard Brewka, Jürgen Dix & Kurt Konolige - 1997 - Center for the Study of Language and Inf.details
|
|
Tractatus Logico-Philosophicus: German and English.Ludwig Wittgenstein - 1981 - Routledge.details
|
|
The Language of Thought: A New Philosophical Direction.Susan Schneider - 2011 - MIT Press.details
|
|
The Language of Thought.J. A. Fodor - 1978 - Critica 10 (28):140-143.details
|
|
Invitation to fixed-parameter algorithms.Rolf Niedermeier - 2006 - New York: Oxford University Press.details
|
|