Truth Definitions, Skolem Functions And Axiomatic Set Theory (1998)

Cached

Download Links

by Jaakko Hintikka
Venue:Bulletin of Symbolic Logic
Citations:3 - 0 self

Documents Related by Co-Citation

5 Knowledge acknowledged: knowledge of propositions vs. knowledge of objects – J Hintikka - 1996
50 Compositional Semantics for a Language of Imperfect Information – Wilfrid Hodges - 1997
68 The Principles of Mathematics Revisited – Jaakko Hintikka - 1996
1 2001a, ‘Intuitionistic Logic as Epistemic Logic’, Synthese 127 – Jaakko Hintikka
1 and Ahti Pietarinen: 2001, ‘Informationally Independent Connectives – Gabriel Sandu
2 Instructor’s Manual to accompany Jon Barwise and John Etchemendy’s The Language of First-Order Logic – R Eberle - 1993
4 On criteria for formal theory building: Applying logic and automated reasoning tools to the social sciences – Jaap Kamps - 1999
3 On machines which prove theorems. Simon Stevin: Wis- en Natuurkundig Tijdschrift – E W Beth - 1958
2 editors. Structuralist Knowledge Representation: Paradigmatic Examples, volume 75 – W Balzer, C U Moulines, J D Sneed
4 Philosophy of Science: A Formal Approach – H Kyburg - 1968
1 Reconsidering Logical Positivism. Cambridge – M Friedman - 1999
1 A formal model of interaction in social groups – H A Simon - 1952
1 Logische Analyse der Struktur ausgereifter physikalischer Theorien, ’Nonstatement view’ von Theorien. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie: Band II Theorie und Erfahrung, Teil D – W Stegmüller - 1973
5 editors, Principles of Knowledge Representation and Reasoning – L Schubert Cohn, S C Shapiro - 1998
17 The desirability of formalization in science – P Suppes - 1968
5 Language, Proof and Logic – J Barwise, J Etchemendy - 2002
11 A logical approach to formalizing organizational ecology,’’American Sociological Review 59 – G Péli, J Bruggeman, M Masuch, Ó Nualláin, B - 1994
47 On the Concept of Logical Consequence – J Etchemendy - 1999
23 From Instrumentalism to Constructive Realism. On Some Relations between – Theo A F Kuipers - 2000